Prof. Vladimir Kovacevic
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.
