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}, }

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}, }

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}, }

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}, }

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}, }

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}, }

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}, }

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}, }

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}, }

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}, }

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}, }

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}, }

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}, }

proc time: 0.68