AST 2012 – Proceedings

7th International Workshop on Automation of Software Test (AST)

Preface

Security

SECFUZZ: Fuzz-testing Security Protocols
Petar Tsankov, Mohammad Torabi Dashti, and David Basin
(ETH Zurich, Switzerland)


@InProceedings{AST12p1, author = {Petar Tsankov and Mohammad Torabi Dashti and David Basin}, title = {SECFUZZ: Fuzz-testing Security Protocols}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2012}, }

Testing of PolPA Authorization Systems
Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, and Paolo Mori
(ISTI-CNR, Italy; IIT-CNR, Italy)


@InProceedings{AST12p8, author = {Antonia Bertolino and Said Daoudagh and Francesca Lonetti and Eda Marchetti and Fabio Martinelli and Paolo Mori}, title = {Testing of PolPA Authorization Systems}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {8-7}, doi = {}, year = {2012}, }

Grammar Based Oracle for Security Testing of Web Applications
Andrea Avancini and Mariano Ceccato
(Fondazione Bruno Kessler, Italy)


@InProceedings{AST12p15, author = {Andrea Avancini and Mariano Ceccato}, title = {Grammar Based Oracle for Security Testing of Web Applications}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {15-14}, doi = {}, year = {2012}, }

A Whitebox Approach for Automated Security Testing of Android Applications on the Cloud
Riyadh Mahmood, Naeem Esfahani, Thabet Kacem, Nariman Mirzaei, Sam Malek, and Angelos Stavrou
(George Mason University, USA)


@InProceedings{AST12p22, author = {Riyadh Mahmood and Naeem Esfahani and Thabet Kacem and Nariman Mirzaei and Sam Malek and Angelos Stavrou}, title = {A Whitebox Approach for Automated Security Testing of Android Applications on the Cloud}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {22-21}, doi = {}, year = {2012}, }

Surveys

Software Testing of Mobile Applications: Challenges and Future Research Directions
Henry Muccini, Antonio Di Francesco, and Patrizio Esposito
(University of L'Aquila, Italy)


@InProceedings{AST12p29, author = {Henry Muccini and Antonio Di Francesco and Patrizio Esposito}, title = {Software Testing of Mobile Applications: Challenges and Future Research Directions}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {29-28}, doi = {}, year = {2012}, }

Benefits and Limitations of Automated Software Testing: Systematic Literature Review and Practitioner Survey
Dudekula Mohammad Rafi, Katam Reddy Kiran Moses, Kai Petersen, and Mika V. Mäntylä
(Blekinge Institute of Technology, Sweden; Ericsson, Sweden; Lund University, Sweden)


@InProceedings{AST12p36, author = {Dudekula Mohammad Rafi and Katam Reddy Kiran Moses and Kai Petersen and Mika V. Mäntylä}, title = {Benefits and Limitations of Automated Software Testing: Systematic Literature Review and Practitioner Survey}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {36-35}, doi = {}, year = {2012}, }

Industrial Case Studies

Introducing Model-Based Testing in an Industrial Scrum Project
Vladimir Entin, Mathias Winder, Bo Zhang, and Stephan Christmann
(Omicron Electronics, Austria)


@InProceedings{AST12p43, author = {Vladimir Entin and Mathias Winder and Bo Zhang and Stephan Christmann}, title = {Introducing Model-Based Testing in an Industrial Scrum Project}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2012}, }

An Industrial Case Study of the Effectiveness of Test Generators
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, and Ali Muhammad
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland; VTT Technical Research Center of Finland, Finland)


@InProceedings{AST12p50, author = {Pietro Braione and Giovanni Denaro and Andrea Mattavelli and Mattia Vivanti and Ali Muhammad}, title = {An Industrial Case Study of the Effectiveness of Test Generators}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {50-49}, doi = {}, year = {2012}, }

Software Test Automation Practices in Agile Development Environment: An Industry Experience Report
Eliane Figueiredo Collins and Vicente Ferreira De Lucena, Jr.
(Nokia Institute of Technology, Brazil; Federal University of Amazonas, Brazil)


@InProceedings{AST12p57, author = {Eliane Figueiredo Collins and Vicente Ferreira De Lucena, Jr.}, title = {Software Test Automation Practices in Agile Development Environment: An Industry Experience Report}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {57-56}, doi = {}, year = {2012}, }

Input Generation and Selection I

Category Partition Method and Satisfiability Modulo Theories for Test Case Generation
Valentin Chimisliu and Franz Wotawa
(TU Graz, Austria)


@InProceedings{AST12p64, author = {Valentin Chimisliu and Franz Wotawa}, title = {Category Partition Method and Satisfiability Modulo Theories for Test Case Generation}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {64-63}, doi = {}, year = {2012}, }

Scalable Automated Test Generation Using Coverage Guidance and Random Search
TheAnh Do, Alvis C. M. Fong, and Russel Pears
(Auckland University of Technology, New Zealand)


@InProceedings{AST12p71, author = {TheAnh Do and Alvis C. M. Fong and Russel Pears}, title = {Scalable Automated Test Generation Using Coverage Guidance and Random Search}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {71-70}, doi = {}, year = {2012}, }

Automated EFSM-Based Test Case Generation with Scatter Search
Jie Zhang, Rui Yang, Zhenyu Chen, Zhihong Zhao, and Baowen Xu
(Nanjing University, China)


@InProceedings{AST12p78, author = {Jie Zhang and Rui Yang and Zhenyu Chen and Zhihong Zhao and Baowen Xu}, title = {Automated EFSM-Based Test Case Generation with Scatter Search}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {78-77}, doi = {}, year = {2012}, }

Automated Test-Case Generation by Cloning
Mathias Landhäußer and Walter F. Tichy
(KIT, Germany)


@InProceedings{AST12p85, author = {Mathias Landhäußer and Walter F. Tichy}, title = {Automated Test-Case Generation by Cloning}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {85-84}, doi = {}, year = {2012}, }

GUI Testing

BlackHorse: Creating Smart Test Cases from Brittle Recorded Tests
Santo Carino, James H. Andrews, Sheldon Goulding, Pradeepan Arunthavarajah, Tony Florio, and Jakub Hertyk
(University of Western Ontario, Canada; Research In Motion, Canada)


@InProceedings{AST12p92, author = {Santo Carino and James H. Andrews and Sheldon Goulding and Pradeepan Arunthavarajah and Tony Florio and Jakub Hertyk}, title = {BlackHorse: Creating Smart Test Cases from Brittle Recorded Tests}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {92-91}, doi = {}, year = {2012}, }

Declarative Automated Test
Niels Hallenberg and Philip Lykke Carlsen
(SimCorp, Denmark)


@InProceedings{AST12p99, author = {Niels Hallenberg and Philip Lykke Carlsen}, title = {Declarative Automated Test}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {99-98}, doi = {}, year = {2012}, }

Beyond Plain Video Recording of GUI Tests: Linking Test Case Instructions with Visual Response Documentation
Raphael Pham, Helge Holzmann, Kurt Schneider, and Christian Brüggemann
(Leibniz Universität Hannover, Germany; Capgemini, Germany)


@InProceedings{AST12p106, author = {Raphael Pham and Helge Holzmann and Kurt Schneider and Christian Brüggemann}, title = {Beyond Plain Video Recording of GUI Tests: Linking Test Case Instructions with Visual Response Documentation}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {106-105}, doi = {}, year = {2012}, }

A Methodology for Energy Performance Testing of Smartphone Applications
Abdulhakim Abogharaf, Rajesh Palit, Kshirasagar Naik, and Ajit Singh
(University of Waterloo, Canada)


@InProceedings{AST12p113, author = {Abdulhakim Abogharaf and Rajesh Palit and Kshirasagar Naik and Ajit Singh}, title = {A Methodology for Energy Performance Testing of Smartphone Applications}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {113-112}, doi = {}, year = {2012}, }

Design for Test

Refactoring Towards Seams in C++
Michael Rüegg and Peter Sommerlad
(University of Applied Sciences Rapperswil, Switzerland)


@InProceedings{AST12p120, author = {Michael Rüegg and Peter Sommerlad}, title = {Refactoring Towards Seams in C++}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {120-119}, doi = {}, year = {2012}, }

Input Generation Selection II

Test Case Prioritization Incorporating Ordered Sequence of Program Elements
Kun Wu, Chunrong Fang, Zhenyu Chen, and Zhihong Zhao
(Nanjing University, China)


@InProceedings{AST12p127, author = {Kun Wu and Chunrong Fang and Zhenyu Chen and Zhihong Zhao}, title = {Test Case Prioritization Incorporating Ordered Sequence of Program Elements}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {127-126}, doi = {}, year = {2012}, }

G-RankTest: Regression Testing of Controller Applications
Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, and Muhammad Ali
(University of Milano-Bicocca, Italy; VTT Technical Research Center of Finland, Finland)


@InProceedings{AST12p134, author = {Leonardo Mariani and Oliviero Riganelli and Mauro Santoro and Muhammad Ali}, title = {G-RankTest: Regression Testing of Controller Applications}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {134-133}, doi = {}, year = {2012}, }

All-Values Symbolic Execution
Giovanni Denaro
(University of Milano-Bicocca, Italy)


@InProceedings{AST12p141, author = {Giovanni Denaro}, title = {All-Values Symbolic Execution}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {141-140}, doi = {}, year = {2012}, }

On the Role of Diversity Measures for Multi-objective Test Case Selection
Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto, and Annibale Panichella
(University of Salerno, Italy; University of Sannio, Italy; University of Molise, Italy)


@InProceedings{AST12p148, author = {Andrea De Lucia and Massimiliano Di Penta and Rocco Oliveto and Annibale Panichella}, title = {On the Role of Diversity Measures for Multi-objective Test Case Selection}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {148-147}, doi = {}, year = {2012}, }

proc time: 0.02