Theory of Software Testing With Persistent State.
IEEE Trans. Reliab., 2015
Science, Mathematics, Computer Science, Software Engineering.
Comput. J., 2012
Subdomain (Partition) Testing.
Proceedings of the Encyclopedia of Software Engineering, 2010
Tools and experiments supporting a testing-based theory of component composition.
ACM Trans. Softw. Eng. Methodol., 2009
Practical ultra-reliability for abstract data types.
Softw. Test. Verification Reliab., 2007
Software component composition: a subdomain-based testing-theory foundation.
Softw. Test. Verification Reliab., 2007
Test-Based Specifications of Components and Systems.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007
When only random testing will do.
Proceedings of the 1st International Workshop on Random Testing, 2006
Subdomain testing of units and systems with state.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006
Defining "Predictable Assembly".
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006
Invariants and state in testing and formal methods.
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005
On Formal Specification of Software Components and Systems.
Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004
Report on the ICSE 2003 doctoral symposium.
ACM SIGSOFT Softw. Eng. Notes, 2003
Report on the ICSE 2003 Doctoral Symposium.
Proceedings of the 25th International Conference on Software Engineering, 2003
Continuity in sofware systems.
Proceedings of the International Symposium on Software Testing and Analysis, 2002
Mathematics, Computer Science, Software Engineering.
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000
Connecting test coverage to software dependability.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994
Debugging "level": step-wise debugging.
Proceedings of the symposium on High-level debugging, 1983