Comparing and combining software defect detection techniques: a replicated empirical study
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Problems and Prospects in Quantifying Software Maintainability
Empirical Software Engineering
FAST: a framework for automating statistics-based testing
Software Quality Control
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Structural Testing Based on Minimum Kernels
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A new script language applicable to symbolic execution systems
International Journal of Computers and Applications
Establishing structural testing criteria for Java bytecode
Software—Practice & Experience
PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection
Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture
Testing data processing-oriented systems from stream X-machine models
Theoretical Computer Science
An Embedded Software Testing Tool Supporting Multi-paradigm Views
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
Algorithms for locating GPS coordinates on PDA
WSEAS TRANSACTIONS on COMMUNICATIONS
Evolutionary testing: a case study
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
A XML script-based testing tool for embedded softwares
ICCSA'07 Proceedings of the 2007 international conference on Computational science and Its applications - Volume Part II
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
A performance profile and test tool for development of embedded software using various report views
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Hi-index | 0.00 |