Publications

1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010

REFEREED PUBLICATIONS

Journals

Simao, A., Petrenko, A. "Fault Coverage-Driven Incremental Test Generation" Computer Journal [Advance Access], 12 August 2009. [doi:10.1093/comjnl/bxp073]
[Abstract]
Petrenko, A., Yevtushenko, N. "Refining specifications in adaptive testing of nondeterministic finite state machines" Vestnik Tomskogo gosudarstvennogo universiteta (upravlenie, vychislitelnaya technica i informatica), 1 (6) 2009 : 99-114.
[Abstract] [Full text]
Simao, A., Petrenko, A. and Maldonado, J. C. "Comparing finite state machine test coverage criteria" IET Software, 3 (2) April 2009 : 91-105.
[Abstract]
Huo, J., Petrenko, A. "Transition Covering Tests for Systems with Queues" Software Testing, Verification and Reliability, 19 (1) March 2009 : 55-83.
[Abstract]

Conference, Workshops Proceedings

Ledru, Y., Petrenko, A. and Boroday, S. "Using String Distances for Test Case Prioritisation" In 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009). Auckland, New Zealand, November 16-20, 2009.
[Abstract]
Boroday, S., Petrenko, A. and Ulrich, A. "Implementing MSC Tests with Quiescence Observation" In 21th IFIP International Conference on Testing of Communicating Systems / 9th International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2009), pp. 49–65. Eindhoven, The Netherlands, November 2-4, 2009. [LNCS 5826]
[Abstract]
Simao, A., Petrenko, A. and Yevtushenko, N. "Generating Reduced Tests for FSMs with Extra States" In 21th IFIP International Conference on Testing of Communicating Systems / 9th International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2009), pp. 129–145. Eindhoven, The Netherlands, November 2-4, 2009. [LNCS 5826]
[Abstract]
Alikacem, E. H., Sahraoui, H. A. "A Metric Extraction Framework Based on a High-Level Description Language" In Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009). Edmonton, Canada, September 20-21, 2009.
Hallal, H. H., Dury, A. and Petrenko, A. "Web-FIM: Automated Framework for the Inference of Business Software Models" In 2009 Congress on Services - 1, pp. 130-138. Los Angeles, CA, July 6-10, 2009.
[Abstract]
Dury, A., Hallal, H. H. and Petrenko, A. "Inferring Behavioural Models from Traces of Business Applications" In 2009 IEEE International Conference on Web Services. Los Angeles, USA, July 6-10, 2009.
Simao, A., Petrenko, A. "Checking Sequence Generation Using State Distinguishing Subsequences" In 5th Workshop on Advances in Model Based Testing (A-MOST 2009). Denver, USA, April 1, 2009.
[Abstract] [Full text]