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
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Automated test case generation from IFAD VDM++ specifications
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Formal methods and hybrid real-time systems
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |