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