Surveyors' forum: runtime checking and debugging of formally specified programs
ACM Computing Surveys (CSUR)
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Residual test coverage monitoring
Proceedings of the 21st international conference on Software engineering
Smart monitors for composed services
Proceedings of the 2nd international conference on Service oriented computing
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |