The Community for Technology Leaders
Automation of Software Test, Second International Workshop on (2012)
Zurich Switzerland
June 2, 2012 to June 3, 2012
ISBN: 978-1-4673-1821-1
TABLE OF CONTENTS

SECFUZZ: Fuzz-testing security protocols (PDF)

Petar Tsankov , Institute of Information Security, ETH Zurich, Switzerland
Mohammad Torabi Dashti , Institute of Information Security, ETH Zurich, Switzerland
David Basin , Institute of Information Security, ETH Zurich, Switzerland
pp. 1-7

Testing of PolPA authorization systems (PDF)

Antonia Bertolino , Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo”, Consiglio Nazionale delle Ricerche, via G. Moruzzi, 1 - 56124 Pisa, Italy
Said Daoudagh , Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo”, Consiglio Nazionale delle Ricerche, via G. Moruzzi, 1 - 56124 Pisa, Italy
Francesca Lonetti , Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo”, Consiglio Nazionale delle Ricerche, via G. Moruzzi, 1 - 56124 Pisa, Italy
Eda Marchetti , Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo”, Consiglio Nazionale delle Ricerche, via G. Moruzzi, 1 - 56124 Pisa, Italy
Fabio Martinelli , Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, via G. Moruzzi 1 - 56124 Pisa, Italy
Paolo Mori , Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, via G. Moruzzi 1 - 56124 Pisa, Italy
pp. 8-14

Grammar based oracle for security testing of web applications (PDF)

Andrea Avancini , Fondazione Bruno Kessler, Trento, Italy
Mariano Ceccato , Fondazione Bruno Kessler, Trento, Italy
pp. 15-21

A whitebox approach for automated security testing of Android applications on the cloud (PDF)

Riyadh Mahmood , Computer Science Department, George Mason University, USA
Naeem Esfahani , Computer Science Department, George Mason University, USA
Thabet Kacem , Computer Science Department, George Mason University, USA
Nariman Mirzaei , Computer Science Department, George Mason University, USA
Sam Malek , Computer Science Department, George Mason University, USA
Angelos Stavrou , Computer Science Department, George Mason University, USA
pp. 22-28

Software testing of mobile applications: Challenges and future research directions (PDF)

Henry Muccini , Dipartimento di Informatica, University of L'Aquila, Italy
Antonio Di Francesco , Dipartimento di Informatica, University of L'Aquila, Italy
Patrizio Esposito , Dipartimento di Informatica, University of L'Aquila, Italy
pp. 29-35

Benefits and limitations of automated software testing: Systematic literature review and practitioner survey (PDF)

Dudekula Mohammad Rafi , Blekinge Institute of Technology, School of Computing, Karlskrona, Sweden
Katam Reddy Kiran Moses , Blekinge Institute of Technology, School of Computing, Karlskrona, Sweden
Kai Petersen , Blekinge Institute of Technology, School of Computing, Karlskrona, Sweden
Mika V. Mantyla , Lund University, Department of Computer Science, Sweden
pp. 36-42

Introducing model-based testing in an industrial scrum project (PDF)

Vladimir Entin , Software Quality Assurance, Omicron Electronics GmbH, Oberes Ried 1, A-6833 Klaus, Austria
Mathias Winder , Software Quality Assurance, Omicron Electronics GmbH, Oberes Ried 1, A-6833 Klaus, Austria
Bo Zhang , Software Quality Assurance, Omicron Electronics GmbH, Oberes Ried 1, A-6833 Klaus, Austria
Stephan Christmann , Software Quality Assurance, Omicron Electronics GmbH, Oberes Ried 1, A-6833 Klaus, Austria
pp. 43-49

An industrial case study of the effectiveness of test generators (PDF)

Pietro Braione , University of Milano-Bicocca, Italy
Giovanni Denaro , University of Milano-Bicocca, Italy
Andrea Mattavelli , University of Lugano, Switzerland
Mattia Vivanti , University of Lugano, Switzerland
Ali Muhammad , VTT Technical Research Center of Finland, Tampere, Finland
pp. 50-56

Software Test Automation practices in agile development environment: An industry experience report (PDF)

Eliane Figueiredo Collins , Nokia Institute of Technology, Manaus, AM, Brazil
Vicente Ferreira de Lucena , Federal University of Amazonas, Manaus, Brazil
pp. 57-63

Category Partition Method and Satisfiability Modulo Theories for test case generation (PDF)

Valentin Chimisliu , Institute for Software Technology, University of Technology Graz, Austria
Franz Wotawa , Institute for Software Technology, University of Technology Graz, Austria
pp. 64-70

Scalable automated test generation using coverage guidance and random search (PDF)

TheAnh Do , School of Computing and Mathematical Sciences, Auckland University of Technology, New Zealand
Alvis C.M. Fong , School of Computing and Mathematical Sciences, Auckland University of Technology, New Zealand
Russel Pears , School of Computing and Mathematical Sciences, Auckland University of Technology, New Zealand
pp. 71-75

Automated EFSM-based test case generation with scatter search (PDF)

Jie Zhang , State Key Laboratory for Novel Software Technology, Nanjing University, 210093, China
Rui Yang , State Key Laboratory for Novel Software Technology, Nanjing University, 210093, China
Zhenyu Chen , State Key Laboratory for Novel Software Technology, Nanjing University, 210093, China
Zhihong Zhao , State Key Laboratory for Novel Software Technology, Nanjing University, 210093, China
Baowen Xu , State Key Laboratory for Novel Software Technology, Nanjing University, 210093, China
pp. 76-82

Automated test-case generation by cloning (PDF)

Mathias Landhauber , Karlsruhe Institute of Technology, Germany
Walter F. Tichy , Karlsruhe Institute of Technology, Germany
pp. 83-88

BlackHorse: Creating smart test cases from brittle recorded tests (PDF)

Santo Carino , Department of Computer Science, University of Western Ontario, London, Canada N6A 5B7
James H. Andrews , Department of Computer Science, University of Western Ontario, London, Canada N6A 5B7
Sheldon Goulding , Handheld Testing, Research In Motion, Waterloo, Ontario, Canada
Pradeepan Arunthavarajah , Handheld Testing, Research In Motion, Waterloo, Ontario, Canada
Tony Florio , Handheld Testing, Research In Motion, Waterloo, Ontario, Canada
Jakub Hertyk , Handheld Testing, Research In Motion, Waterloo, Ontario, Canada
pp. 89-95

Declarative automated test (PDF)

Niels Hallenberg , SimCorp, Copenhagen, Denmark
Philip Lykke Carlsen , SimCorp, Copenhagen, Denmark
pp. 96-102

Beyond plain video recording of GUI tests: Linking test case instructions with visual response documentation (PDF)

Raphael Pham , Software Engineering Group, Leibniz Universität Hannover, Germany
Helge Holzmann , Software Engineering Group, Leibniz Universität Hannover, Germany
Kurt Schneider , Software Engineering Group, Leibniz Universität Hannover, Germany
Christian Bruggemann , Application Lifecycle Service Center, Capgemini Deutschland GmbH, Hanover, Germany
pp. 103-109

A methodology for energy performance testing of smartphone applications (PDF)

Abdulhakim Abogharaf , University of Waterloo, Ontario, Canada
Rajesh Palit , University of Waterloo, Ontario, Canada
Kshirasagar Naik , University of Waterloo, Ontario, Canada
Ajit Singh , University of Waterloo, Ontario, Canada
pp. 110-116

Refactoring towards seams in C++ (PDF)

Michael Ruegg , University of Applied Sciences Rapperswil, Institute for Software, Switzerland
Peter Sommerlad , University of Applied Sciences Rapperswil, Institute for Software, Switzerland
pp. 117-123

Test case prioritization incorporating ordered sequence of program elements (PDF)

Kun Wu , State Key Laboratory for Novel Software Technology, Nanjing University, 210093, China
Chunrong Fang , State Key Laboratory for Novel Software Technology, Nanjing University, 210093, China
Zhenyu Chen , State Key Laboratory for Novel Software Technology, Nanjing University, 210093, China
Zhihong Zhao , State Key Laboratory for Novel Software Technology, Nanjing University, 210093, China
pp. 124-130

G-RankTest: Regression testing of controller applications (PDF)

Leonardo Mariani , University of Milano Bicocca, Viale Sarca, 336, Italy
Oliviero Riganelli , University of Milano Bicocca, Viale Sarca, 336, Italy
Mauro Santoro , University of Milano Bicocca, Viale Sarca, 336, Italy
Muhammad Ali , VTT Technical Research Centre of Finland, Tekniikankatu 1, FI-33101, Tampere, Finland
pp. 131-137

All-values symbolic execution (PDF)

Giovanni Denaro , University of Milano-Bicocca, Department of Informatics, Systems and Communication, Viale Sarca, 336, 20126, Italy
pp. 138-144

On the role of diversity measures for multi-objective test case selection (PDF)

Andrea De Lucia , University of Salerno, via Ponte don Melillo, Fisciano (SA), 84084, Italy
Massimiliano Di Penta , University of Sannio, Palazzo ex Poste, Via Traiano, 82100 Benevento, Italy
Rocco Oliveto , University of Molise, Contrada Fonte Lappone, 86090 Pesche (IS), Italy
Annibale Panichella , University of Salerno, via Ponte don Melillo, Fisciano (SA), 84084, Italy
pp. 145-151
91 ms
(Ver 3.3 (11022016))