Invariant-based automatic testing of AJAX user interfaces
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
An approach to testing conceptual schemas
Data & Knowledge Engineering
Towards economical software release recommendations
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Usable verification of object-oriented programs by combining static and dynamic techniques
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Using rewrite strategies for testing BUpL agents
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
| Hi-index | 4.10 |
Testing is about producing failures.