2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation (JAMAICA)

Preface

Testing Techniques

Early Detection of Faults Related to Database Schematic Changes
Deepak Garg and Amitava Datta
(University of Western Australia, Australia)

@InProceedings{JAMAICA13p1, author = {Deepak Garg and Amitava Datta}, title = {Early Detection of Faults Related to Database Schematic Changes}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id2-p (type: Full Paper (6 pages)) doi:

Evaluating Applicability of Combinatorial Testing in an Industrial Environment: A Case Study
Elisa Puoskari, Tanja E. J. Vos, Nelly Condori-Fernandez, and Peter M. Kruse
(Sulake, Finland; Universitat Politècnica de València, Spain; Berner & Mattner, Germany)

@InProceedings{JAMAICA13p7, author = {Elisa Puoskari and Tanja E. J. Vos and Nelly Condori-Fernandez and Peter M. Kruse}, title = {Evaluating Applicability of Combinatorial Testing in an Industrial Environment: A Case Study}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id6-p (type: Full Paper (6 pages)) doi:

Introducing the QCEP-Testing System for Executable Acceptance Test Driven Development of Complex Event Processing Applications
Johannes Weiss, Peter Mandl, and Alexander Schill
(TU Dresden, Germany; Munich University of Applied Sciences, Germany)

@InProceedings{JAMAICA13p13, author = {Johannes Weiss and Peter Mandl and Alexander Schill}, title = {Introducing the QCEP-Testing System for Executable Acceptance Test Driven Development of Complex Event Processing Applications}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id8-p (type: Full Paper (6 pages)) doi:

Practical Experience and Evaluation of Continuous Code Static Analysis with C++Test
Vincenzo Ciriello, Gabriella Carrozza, and Stefano Rosati
(SESM, Italy; Selex ES, Italy)

@InProceedings{JAMAICA13p19, author = {Vincenzo Ciriello and Gabriella Carrozza and Stefano Rosati}, title = {Practical Experience and Evaluation of Continuous Code Static Analysis with C++Test}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id11-p (type: Full Paper (4 pages)) doi:

Model-Based Testing

Model-Based Test Case Generation using Symbolic Execution
Kazuki Munakata, Susumu Tokumoto, and Tadahiro Uehara
(Fujitsu Labs, Japan)

@InProceedings{JAMAICA13p23, author = {Kazuki Munakata and Susumu Tokumoto and Tadahiro Uehara}, title = {Model-Based Test Case Generation using Symbolic Execution}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {23-22}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id1-p (type: Full Paper (6 pages)) doi:

Analysis and Testing of Matlab Simulink Models: A Systematic Mapping Study
Frank Elberzhager, Alla Rosbach, and Thomas Bauer
(Fraunhofer IESE, Germany)

@InProceedings{JAMAICA13p29, author = {Frank Elberzhager and Alla Rosbach and Thomas Bauer}, title = {Analysis and Testing of Matlab Simulink Models: A Systematic Mapping Study}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {29-28}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id4-p (type: Full Paper (6 pages)) doi:

Model-Based Testing in Legacy Software Modernization: An Experience Report
Marc-Florian Wendland, Marco Kranz, Christian Hein, Tom Ritter, and Ana García Flaquer
(Fraunhofer FOKUS, Germany; DOME Consulting & Solutions, Spain)

@InProceedings{JAMAICA13p35, author = {Marc-Florian Wendland and Marco Kranz and Christian Hein and Tom Ritter and Ana García Flaquer}, title = {Model-Based Testing in Legacy Software Modernization: An Experience Report}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {35-34}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id12-p (type: Full Paper (6 pages)) doi:

Towards Quality of Model-Based Testing in the ioco Framework
Michele Volpato and Jan Tretmans
(Radboud Universiteit Nijmegen, Netherlands; TNO, Netherlands)

@InProceedings{JAMAICA13p41, author = {Michele Volpato and Jan Tretmans}, title = {Towards Quality of Model-Based Testing in the ioco Framework}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id15-p (type: Full Paper (6 pages)) doi:

An Auto-review Tool for Model-Based Testing of Safety-Critical Systems
Atit Mishra, Manjunatha Rao, Chethan CU, Vanishree Rao, Yogananda Jeppu, and Nagaraj Murthy
(Moog India Technology Center, India)

@InProceedings{JAMAICA13p47, author = {Atit Mishra and Manjunatha Rao and Chethan CU and Vanishree Rao and Yogananda Jeppu and Nagaraj Murthy}, title = {An Auto-review Tool for Model-Based Testing of Safety-Critical Systems}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {47-46}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id16-p (type: Full Paper (6 pages)) doi:

Test Automation Tools

Comparing the Maintainability of Selenium WebDriver Test Suites Employing Different Locators: A Case Study
Maurizio Leotta, Diego Clerissi, Filippo Ricca, and Cristiano Spadaro
(Università di Genova, Italy; eXact learning solutions, Italy)

@InProceedings{JAMAICA13p53, author = {Maurizio Leotta and Diego Clerissi and Filippo Ricca and Cristiano Spadaro}, title = {Comparing the Maintainability of Selenium WebDriver Test Suites Employing Different Locators: A Case Study}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id3-p (type: Full Paper (6 pages)) doi:

Automatic, Load-Independent Detection of Performance Regressions by Transaction Profiles
Shadi Ghaith, Miao Wang, Philip Perry, and John Murphy
(University College Dublin, Ireland)

@InProceedings{JAMAICA13p59, author = {Shadi Ghaith and Miao Wang and Philip Perry and John Murphy}, title = {Automatic, Load-Independent Detection of Performance Regressions by Transaction Profiles}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {59-58}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id5-p (type: Full Paper (6 pages)) doi:

A System for Automated Testing in Development of Measuring Devices for Industrial Process Instrumentation
René Keimling, Christian Hansen, and Attila Bilgic
(KROHNE Messtechnik, Germany)

@InProceedings{JAMAICA13p65, author = {René Keimling and Christian Hansen and Attila Bilgic}, title = {A System for Automated Testing in Development of Measuring Devices for Industrial Process Instrumentation}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id9-p (type: Full Paper (6 pages)) doi:

FITNESS: A Framework for Automatic Testing of ASTERIX Based Software Systems
Vittorio Manetti and Luigi Martin Petrella
(SESM, Italy)

@InProceedings{JAMAICA13p71, author = {Vittorio Manetti and Luigi Martin Petrella}, title = {FITNESS: A Framework for Automatic Testing of ASTERIX Based Software Systems}, booktitle = {Proc.\ JAMAICA}, publisher = {ACM}, pages = {71-70}, doi = {}, year = {2013}, } Article: isstaws13jamaica-id13-p (type: Full Paper (6 pages)) doi:

proc time: 0.02