Prof. Miroslav Popovic
Statistical testing
- Software Development & Testing Methodology used for Subscriber Digital Concentrator ACK-2000
M. Popovic, V. Kovacevic, M. Skrbic
IEEE 10th International Symposium on Software Reliability Engineering, 1999
- Software Testing Concept used for MAS/C-Compiler
M. Popovic, V. Kovacevic, M. Temerinac
IEEE Proceedings of 26th Euromicro Conference Informatics: Inventing the Future, 2000
- Software Reliability & Maintenance Concept used for Automatic Call Distributor MEDIO ACD
M. Popovic, V. Kovacevic, M. Skrbic
IEEE 11th International Symposium on Software Reliability Engineering, 2000
- Case Study: A maintenance practice used with real-time telecommunication software
M. Popovic, B. Atlagic, V. Kovacevic
Journal of Software Maintenance: Research & Practice 13 (2) (2001) 97-126.
- A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering
M. Popovic, V. Kovacevic, I. Velikic
Proceedings of 9th IEEE International Conference on the Engineering of Computer-Based Systems, 8-11 April 2003, Lund, Sweden.
- An Automatic Test Generator Engine
M. Popovic, Z. Jurca, V. Kovacevic
The 15th IEEE International Symposium on Software Reliability Engineering, Saint-Malo, Bretagne, France, November 2-5, 2004.
- A Generic Model-Based Test Case Generator
M. Popovic, I. Velikic
Proceedings of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2005.
- A Model-Based Statistical Usage Testing of Communication Protocols
M. Popovic, I. Basicevic, I. Velikic, J. Tatic
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems, 2006.
- A Statistical Approach to Model-Based Robustness Testing
Popovic Miroslav, Kovacevic Jelena
14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems, 2007.
- Testing of DMS Analytical Function Library With Scheme Mutation Method
Kuzevski Pavle, Basicevic Ilija, Popović Miroslav, Kovac Tereza, Djurica Jelena, Stojanovic Goran
IPSI Conference (9 ; Bled ; 2009)
- Test case generation for the task tree type of architecture
M. Popovic, I. Basicevic
Information and Software Technology, Elsevier ISSN: 0950-5849, 2010
