1. Unit-level test adequacy criteria for visual dataflow languages and a testing methodology;ACM Transactions on Software Engineering and Methodology;2008-09
2. Test frame updating in CPM testing of Prolog programs;Software Quality Journal;2007-12-07
3. A methodology for testing spreadsheets;ACM Transactions on Software Engineering and Methodology;2001-01
4. Testing production system programs;Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257)
5. A testing methodology for a dataflow based visual programming language;Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)