A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Systematically deriving partial oracles for testing concurrent programs
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Korat: automated testing based on Java predicates
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
TestEra: A Novel Framework for Automated Testing of Java Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Software assurance by bounded exhaustive testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
Efficient software model checking of data structure properties
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Automated test case generation from IFAD VDM++ specifications
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Formal methods and hybrid real-time systems
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
A safe regression testing approach for safety critical systems
Advances in Engineering Software
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Test input generation using dynamic programming
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Efficiently generating structurally complex inputs with thousands of objects
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Hi-index | 0.00 |