Alexandre Petrenko - Publications since 1999

REFEREED PUBLICATIONS

Books

• Villa, T., Yevtushenko, N., Brayton, R.K., Mishchenko, A., Petrenko, A. and Sangiovanni-Vincentelli, A. (Eds). The Unknown Component Problem, Theory and Applications. Springer, 2012. 311 p.
  [Read online]
• Petrenko, A., Simão, A. and Maldonado, J. C. (Eds). Testing of Software and Systems: Proceedings of the 22nd IFIP Int. Conference on Testing Software and Systems (ICTSS'2010) Berlin Heidelberg : Springer-Verlag, 2010. [LNCS 6435]
• Petrenko, A, Simão, A. and Maldonado, J. C. (Eds). Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers [ICTSS'10] Montréal : CRIM, 2010. 128 p. [ISBN : 978-2-89522-136-4]
  [Full text]
• Petrenko, A., Veanes, M., Tretmans, J. and Grieskamp, W. (eds). Testing of Software and Communicating Systems: Work-in-Progress and Position Papers, Tool Demonstrations and Tutorial Abstracts of TestCom/FATES 2007. Tallinn : Institute of Cybernetics at Tallinn University of Technology, 2007.
• Petrenko, A., Veanes, M., Tretmans, J. and Grieskamp, W. (Eds). Proceedings of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems - 7th International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007). Berlin Heidelberg : Springer-Verlag, 2007. 377 p. [LNCS 4581]
• Petrenko, A., Ulrich, A. (eds). Formal Approaches to Software Testing. Third International Workshop on Formal Approaches to Testing of Software, FATES 2003. Montreal, Quebec, Canada, October 6th, 2003 Berlin : Springer-Verlag, 2004. 267 p. [LNCS 2931]

Book Chapters

• Haydar, M., Malak, G., Sahraoui, H., Petrenko, A. and Boroday., S. "Anomaly Detection and Quality Evaluation of Web Applications" In Calero, C., Moraga, M. A. and M. Piattini (Drs). Handbook of Research on Web Information Systems Quality, Chapter V, pp. 86-103. Hershey, PA : IGI Global, 2008.
  [Abstract]

Journals

• Ledru, Y., Petrenko, A., Boroday, S. and Mandran, N. "Prioritising Test Cases with String Distances" Automated Software Engineering, 19 (1) 2012 : 65-95.
• Simao, A., Petrenko, A. "Generating Asynchronous Test Cases from Test Purposes" Information and Sofwate Technology, 53 2011 : 1252-1262.
• Simão, A., Petrenko, A. "Fault Coverage-Driven Incremental Test Generation" The Computer Journal, 53 (9) 2010 : 1508-1522.
• Simao, A., Petrenko, A. "Checking Completeness of Tests for Finite State Machines" IEEE Transactions on Computers, 59 (8) August 2010 : 1023-1032.
• 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]
• Yevtushenko, N., Villa, T., Brayton, R. K. , Petrenko, A. and Sangiovanni-Vincentelli, A. L. "Compositionally Progressive Solutions of Synchronous FSM Equations" Discrete Event Dynamic Systems, 18 (1) March 2008 : 51-89.
  [Abstract] [Full text]
• Boroday, S., Petrenko, A. and Groz, R. "Can a Model Checker Generate Tests for Non-Deterministic Systems?" Electronic Notes in Theoretical Computer Science, 190 (2) August 2007 : 3-19.
  [Abstract] [Full text]
• Petrenko, A., Vetrova, M. and Yevtushenko, N. "Adaptive Test Generation for Nondeterministic Networks" Radio Electronics and Informatics, 13, 2005 : 90-93.
  [Abstract] [Full text]
• Hallal, H. H., Boroday, S., Petrenko, A. and Ulrich, A. "A Formal Approach to Testing Properties in Causally Consistent Distributed Traces" Formal Aspects of Computing, 18 (1) March 2006 : 63-83.
  [Abstract]
• Petrenko, A., Yevtushenko, N. "Testing from Partial Deterministic FSM Specifications" IEEE Transactions on Computers, 54 (9) September 2005 : 1154-1165.
  [Full text]
• Petrenko, A., Boroday, S. and Groz, R. "Confirming Configurations in EFSM Testing" IEEE Transactions on Software Engineering, 30 (1) January 2004 : 29-42.
  [Abstract] [Full text]
• Petrenko, A., Ulrich, A. and Chapenko, V. P. "Analysis of Concurrent System Behavior in Various Environments" Automatic Control and Computer Sciences, 37 (3) 2003 : 1-7.
  [Abstract] [Full text]
• Petrenko, A., Ulrich, A. and Chapenko, V. P. "Races of Actions in Parallel Systems" Automatic Control and Computer Sciences, 36 (6) 2002 : 40-47.
• Petrenko, A., Ulrich, A., Chapenko, V. P. and Timokhovich, E. A. "Using Partial-Orders for Detecting Faults in Concurrent Systems" Automatic Control and Computer Sciences, 33 (1) 1999.

Conference, Workshops Proceedings

• Petrenko, A., Simao, A. and Yevtushenko, N. "Generating Checking Sequences for Nondeterministic Finite State Machines" In Proceedings of the IEEE Fifth Int. Conference on Software Testing, Verification and Validation (ICST'12). Montréal, Canada, April 18-20, 2012. [The Best Paper Award of the ICST 2012]
• Petrenko, A., Yevtushenko, N. "Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs" In Proceedings of the 23d IFIP Int. Conference on Testing Software and Systems (ICTSS'11), pp. 162-178. Paris, France, November 7-9, 2011. [LNCS 7019]
• Petrenko, A. "From Test Purposes and Specifications to Test Cases" In Dagstuhl Seminar Proceedings, 10421 Abstracts Collection -- Model-Based Testing in Practice. (ISSN 1862-4405). Dagstuhl, Germany, October 17-22, 2010.
  [Full text]
• Haydar, M., Petrenko, A. and Sahraoui, H. "WeSPaS - Web Specification Pattern System" In Proceedings of the IEEE International Conference on Machine and Web Intelligence (ICMWI'2010). Algiers, Algeria, October 3-5, 2010.
• Simao, A., Petrenko, A. "From Test Purposes to Asynchronous Test Cases" In 6th Workshop on Advances in Model Based Testing (A-MOST 2010). Paris, France, April 6, 2010.
• 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]
• 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, pp. 791-798 . 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]
• Boroday, S., Petrenko, A. and Ulrich, A. "Test Suite Consistency Verification" In Proceedings of the 6th IEEE East-West Design & Test Symposium (EWDTS 2008), pp. 235-238. Lviv, Ukraine, October 9-13, 2008.
  [Abstract] [Full text]
• Haydar, M., Sahraoui, H. and Petrenko, A. "Specification Patterns for Formal Web Verification" In Proceedings of the 8th International Conference on Web Engineering (ICWE 2008), pp. 240-246. Yorktown Heights, NY, USA, July 14-18, 2008.
  [Abstract] [Full text]
• Groz, R., Li, K., Petrenko, A. and Shahbaz, M. "Modular System Verification by Inference, Testing and Reachability Analysis" In Proceedings of the 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software (TESTCOM/Fates 2008), pp. 216-233. Tokyo, Japan, June 10-13, 2008.
  [Abstract] [Full text]
• Simao, A., Petrenko, A. "Generating Checking Sequences for Partial Reduced Finite State Machines" In Proceedings of the 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software (TESTCOM/Fates 2008), pp. 153-168. Tokyo, Japan, June 10-13, 2008.
  [Abstract] [Full text]
• Simao, A., Petrenko, A. and Maldonado, J. C. "Experimental Evaluation of Coverage Criteria for FSM-based Testing" In Proceedings of the XXI Brazilian Symposium on Software Engineering (SBES 2007), pp. 359-376. Joao Pessoa, Brazil, October 15-19, 2007.
  [Abstract] [Full text]
• Dury, A., Boroday, S., Petrenko, A. and Lotz, V. "Formal Verification of Business Workflows and Role Based Access Control System" In Proceedings of the International Conference on Emerging Security Information, Systems and Technologies (SecureWare 2007). Valencia, Spain, October 14-20, 2007.
  [Abstract] [Full text]
• Ulrich, A, Petrenko, A. "Reverse Engineering Models from Traces to Validate Distributed Systems – An Industrial Case Study" In Proceedings of the Third European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2007), pp. 184-193. Haifa, Israel, June 11-15, 2007.
  [Abstract] [Full text]
• Boroday, S., Petrenko, A. and Groz, R. "Can a Model Checker Generate Tests for Non-Deterministic Systems?" In Proceedings of the Third Workshop on Model Based Testing (MBT 2007). Braga, Portugal, March 31 - April 1, 2007.
• Hallal, H., Petrenko, A., Boroday, S. and Ulrich, A. "Towards a UML Profile for Trace Analysis of Distributed Systems" In Proceedings of the 2005 Telelogic Americas User Group Conference (Telelogic 2005). Los Angeles, CA, USA,
  [Abstract] [Full text]
• Petrenko, A. "Why Automata Models are Sexy for Testers?" In Proceedings of the International Conference Perspectives of Systems Informatics (PSI 2006). Novosibirsk, Russia, June 27-30, 2006. [LNCS 4378] [Invited talk / Conférencier invité]
• El-Fakih, K., Petrenko, A. and Yevtushenko, N. "FSM Test Translation Through Context" In Proceedings of the 18th IFIP International Conference on Testing of Communicating Systems (TestCom 2006), pp. 254-258. New York City, NY, USA, May 16-18, 2006. [LNCS 3964]
  [Abstract] [Full text]
• Huo, J., Petrenko, A. "Covering Transitions of Concurrent Systems through Queues" In Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05). Chicago, IL, USA, November 8-11, 2005.
  [Abstract]
• Haydar, M., Boroday, S., Petrenko, A. and Sahraoui, H. "Properties and Scopes in Web Model Checking" In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005). Long Beach, California, USA, November 7-11, 2005.
  [Abstract] [Full text]
• Petrenko, A., Yevtushenko, N. "Conformance Tests as Checking Experiments for Partial Nondeterministic FSM" In Proceedings of the 5th International Workshop on Formal Approaches to Testing of Software (Fates 2005), pp. 185-200. Edinburgh, Scotland, UK, September 11, 2005. [LNCS 3997]
  [Abstract]
• Haydar, M., Boroday, S., Petrenko, A. et Sahraoui., H. «Propositional Scopes in Linear Temporal Logic» dans Actes du 5e Colloque International sur les Nouvelles Technologies de la Répartition (NOTERE 2005). Gatineau, Québec, Canada, 30 août - 1 septembre 2005.
  [Abstract] [Full text]
• Capmpbell, C., Veanes, M., Huo, J. and Petrenko, A. "Multiplexing of Partially Ordered Events" In Proceedings of the 17th IFIP International Conference on Testing of Communicating Systems (TestCom 2005), pp. 97-110. Montréal, Quebec, Canada, May 30 - June 2, 2005. [LNCS 3502]
  [Abstract] [Full text]
• Boroday, S., Petrenko, A., Sing, J. and Hallal, H. "Dynamic Analysis of Java Applications for MultiThreaded Antipatterns" In Proceedings of the Third International Workshops on Dynamics Analysis (WODA 2005). St-Louis, MI, USA, May 17, 2005. [En ligne]
  [Abstract] [Full text]
• Kermarrec, A., Groz, R., Parreaux, B. et Petrenko, A. «Machines de mutations pour l'enrichissement de test de protocoles» dans Actes du Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'05). Bordeaux, France, 29 mars - 1 avril 2005.
  [Abstract] [Full text]
• Hallal, H., Petrenko, A., Boroday, S. and Ulrich, A. "Patterns at Work : Predefined Property Specifications for the Analysis of Distributed Systems" In Proceedings of the Telelogic’s 2004 User Group Conference - Americas & Asia/Pacific. Miami, FL, USA, October 24-27, 2004. [Online]
  [Abstract] [Full text]
• Haydar, M., Petrenko, A. and Sahraoui, H. "Formal Verification of Web Applications Modeled by Communicating Automata" In Proceedings of 24th IFIP WG 6.1 IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), pp. 115-132. Madrid, Spain, September 27-30, 2004. [LNCS, vol. 3235]
  [Abstract] [Full text]
• Hallal, H., Alikacem, E., Tunney, P., Boroday, S. and Petrenko, A. "Antipattern-Based Detection of Defficiencies in Java Multithreaded Software" In Proceedings of the Fourth International Conference on Quality Software (QSIC2004), pp. 258-267. Braunschweig, Germany, September 8-10, 2004.
  [Abstract] [Full text]
• Hallal, H., Petrenko, A., Boroday, S. and Ulrich, A. "A Model Checking Approach to Network Fault Management" In Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI2004), pp. 284-289. Orlando, FL, USA, July 18-24, 2004.
  [Abstract] [Full text]
• Huo, J., Petrenko, A. "On Testing Partially Specified IOTS through Lossless Queues" In Proceedings of the IFIP TC6/WG6.1 XVI International Conference on Testing of Communicating Systems (TestCom 2004). St-Anne's College, Oxford, UK, March 17-19, 2004. [LNCS 2978]
  [Abstract] [Full text]
• Boroday, S., Hallal, H., Petrenko, A. and Ulrich, A. "Formal Modeling of Communication Traces" In Proceedings of the 2nd International Conference on Information System Technology and its Applications (ISTA 2003), pp. LNI vol. P30, pp. 97-108. Kharkov, Ukraine, June 21-23, 2003.
  [Abstract] [Full text]
• Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A. and Sangiovanni-Vincentelli, A. "Compositionally Progressive Solutions of Synchronous Language Equations" In Proceedings of the IEEE/ACM 12th International Workshop on Logic & Synthesis (IWLS'03). Laguna Beach, CA, USA, May 28-30, 2003.
  [Abstract]
• Hallal, H., Boroday, S., Ulrich, A. and Petrenko, A. "An Automata-Based Approach to Property Testing in Event Traces" In Proceedings of the IFIP TC6/WG6.1 XV International Conference on Testing of Communicating Systems (TestCom 2003), pp. 180-196. Sofia Antipolis, France, May 26-29, 2003.
  [Abstract] [Full text]
• Petrenko, A., Yevtushenko, N. and Huo, J. L. "Testing Transition Systems with Input and Output Testers" In Proceedings of the IFIP TC6/WG6.1 XV International Conference on Testing of Communicating Systems (TestCom 2003), pp. 129-145. Sofia Antipolis, France, May 26-29, 2003.
  [Abstract] [Full text]
• Ulrich, A., Hallal, H., Petrenko, A. and Boroday, S. "Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis" In Proceedings of the IEEE 36th Hawaii International Conference on System Sciences (HICSS-36). Hawaii, HI, USA, January 6-9, 2003. [CD-Rom]
  [Abstract] [Full text]
• Spitsina, N. V., Yevtushenko, N. V. and Petrenko, A. "Solving Automata Equation for a Generalized Composition Operation" In Proceedings of the 4th Conference on Computer-Aided Technologies in Applied Mathematics (CATAM2002), pp. . Tomsk, Russia, September 10-12, 2002.
  [Full text]
• Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A. and Sangiovanni-Vincentelli, A. "Solution of Synchronous Language Equations for Logic Synthesis" In Proceedings of the 4th Conference on Computer-Aided Technologies in Applied Mathematics (CATAM2002), pp. 132-137. Tomsk, Russia, September 10-12, 2002.
  [Abstract] [Full text]
• Petrenko, A., Yevtushenko, N. "Queued Testing of Transition Systems with Inputs and Outputs" In Proceedings of the Workshop on Formal Approaches to Testing Of Software (Fates'02), A Satellite Workshop of Concur'02. Brno, Czech Republic, August 24, 2002.
  [Abstract] [Full text]
• Boroday, S., Groz, R., Petrenko, A. and Quemener, Y.-M. "Techniques for Abstracting SDL Specifications" In Proceedings of the 3rd SAM (SDL and MSC) Workshop (SAM2002): Telecommunication and beyond: the broader applicability of SDL and MSC (SAM2002). Aberystwyth, Wales, United Kingdom, June 24-26, 2002. [CD-Rom]
  [Abstract] [Full text]
• Yevtushenko, N., Villa, T., Petrenko, A. and Sangiovanni-Vincentelli, A. "Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations" In Proceedings of the IEEE/ACM 11th International Workshop on Logic & Synthesis (IWLS'02), pp. 45-50. Chateau Sonesta Hotel, New Orleans, LA, USA, June 4-7, 2002.
  [Full text]
• Boroday, S., Petrenko, A., Groz, R. and Quemener, Y.-M. "Test Generation for CEFSM Combining Specification and Fault Coverage" In Application to Internet Technologies and Service, Proceedings of the IFIP TC6/WG 6.1 XIV International Conference on Testing of Communicating Systems (TestCom 2002). Berlin, Germany, March 19-22, 2002.
  [Abstract] [Full text]
• Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A. and Sangiovanni-Vincentelli, A. "Solution of Parallel Language Equations for Logic Synthesis" In Proceedings of the International Conference on Computer Aided Design (ICCAD2001). San Jose, CA, USA, November 4 - October 8, 2001.
  [Abstract] [Full text]
• Hallal, H., Petrenko, A., Ulrich, A. and Boroday, S. "Using SDL Tools to Test Properties of Distributed Systems" In Proceeddings of the Formal Approches to Testing of Software (FATES’01), Workshop of the International Conference on Concurrency Theory (CONCUR'01), pp. 355-372. Aalborg, Dennmark, August 21-24, 2001.
  [Abstract]
• Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A. and Sangiovanni-Vincentelli, A. "Solution of Language Equations for Logic Synthesis" In Proceedings of the IEEE 10th International Workshop on Logic & Synthesis (IWLS 2001). Granlibakken Conference Center, Lake Taohe, CA, USA, June 12-15, 2001.
  [Abstract] [Full text]
• Petrenko, A., Ulrich, A. "Verification and Testing of Concurrent Systems with Action Races" In Proceedings of the 13th Workshop Test Methods and Reliability of Circuits and Systems. Miesbach, Southern Bavaria, Germany, February 18-20, 2001.
  [Full text]
• Petrenko, A., Yevtushenko, N. "On Test Derivation from Partial Specifications" In Proceedings of the IFIP Joint International (Conference FORTE/PSTV'2000) on Formal Description Techniques (FORTE XIII) for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XX), pp. 85-102. Pisa, Italy, October 10-13, 2000.
  [Abstract] [Full text]
• Petrenko, A., Ulrich, A. "Verification and Testing of Concurrent Systems with Action Races" In Proceedings of the IFIP 13th International Conference on Testing of Communication Systems (TestCom 2000), pp. 261-280. Ottawa, Canada, August 29 - September 1, 2000.
  [Abstract]
• Petrenko, A. "Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography" In Proceedings of Modeling and Verification of Parallel Processes (MOVEP'2000), pp. 36-43. Nantes, France, June 19-23, 2000. [LNCS 2067]
  [Abstract] [Full text]
• Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A and Sangiovanni-Vincentelli, A. "Synthesis by Language Equation Solving" In IEEE International Workshop on Logic Synthesis (IWLS'2000), pp. 11-14. Dana Point, CA, USA, May 30 - June 30, 2000.
  [Full text]
• Petrenko, A., Boroday, S. and Groz, R. "Confirming Configurations in EFSM" In Formal Methods for Protocol Engineering and Distributed Systems : FORTE XII/ PSTV XIX : IFIP TC6 WG6. Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (FORTE/PSTV'99), pp. 5-24. Beijing, China, October 5-8, 1999. [FORTE/PSTV'99 Best Paper Award]
• Koufareva, I., Petrenko, A. and Yevtushenko, N. "Test Generation Driven by User-defined Fault Models" In Proceedings of the 12th International Workshop on Testing of Communicating Systems (IWTCS'99), pp. 215-233. Budapest, Hungary, September 1-3, 1999.
  [Abstract] [Full text]
• Petrenko, A. "Formal Methods for Design and Testing of Composite Reactive Systems" In Proceedings of the 4th International Conference on Information Systems Analysis and Synthesis (ISAS'98) In context of the World Multiconference on Systemics, Cybernetics and Informatics (SCI'98). vol. 1, Orlando, FL., USA, July 12-16, 1998. [Invited paper]
• Yevtushenko, N., Kufareva, I. and Petrenko, A. "Recognizing Finite-State-Machine Properties" In Proceedings of the Third Siberian Congress on Industrial and Applied Mathematics (INPRIM-98). Sobolev Institute of Mathematics, Novosibirsk, Russia, June 22-27, 1998.

Technical Reports

• Simao, A., Petrenko, A. A Transformational Approach for Asynchronous Test Case Generation from Test Purposes. Montréal, CRIM, 2010. 26 p. [CRIM-10/01-01]
  [Full text]