Communications of the ACM
A note on the confinement problem
Communications of the ACM
Program Style, Design, Efficiency, DeBugging and Testing
Program Style, Design, Efficiency, DeBugging and Testing
A new approach to program testing
Proceedings of the international conference on Reliable software
On the connections between range of variable and control structure testing
Proceedings of the international conference on Reliable software
Testing for software reliability
Proceedings of the international conference on Reliable software
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
IDBUG: A tool for program development
Proceedings of the software quality assurance workshop on Functional and performance issues
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Hi-index | 0.01 |