AST 2013 – Proceedings

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

Preface

Testing-as-a-Service I

Integrated TaaS Platform for Mobile Development: Architecture Solutions
Oleksii Starov and Sergiy Vilkomir
(East Carolina University, USA)


@InProceedings{AST13p1, author = {Oleksii Starov and Sergiy Vilkomir}, title = {Integrated TaaS Platform for Mobile Development: Architecture Solutions}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2013}, }

Automated Scalability Testing of Software as a Service
Paulo Moura and Fabio Kon
(USP, Brazil)


@InProceedings{AST13p8, author = {Paulo Moura and Fabio Kon}, title = {Automated Scalability Testing of Software as a Service}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {8-7}, doi = {}, year = {2013}, }

Vee@Cloud: The Virtual Test Lab on the Cloud
Xiaoying Bai, Muyang Li, Xiaofei Huang, Wei-Tek Tsai, and Jerry Gao
(Tsinghua University, China; Arizona State University, USA; San Jose State University, USA)


@InProceedings{AST13p15, author = {Xiaoying Bai and Muyang Li and Xiaofei Huang and Wei-Tek Tsai and Jerry Gao}, title = {Vee@Cloud: The Virtual Test Lab on the Cloud}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {15-14}, doi = {}, year = {2013}, }

Testing-as-a-Service II

Test Algebra for Combinatorial Testing
Wei-Tek Tsai, Charles J. Colbourn, Jie Luo, Guanqiu Qi, Qingyang Li, and Xiaoying Bai
(Arizona State University, USA; Beihang University, China; Tsinghua University, China)


@InProceedings{AST13p19, author = {Wei-Tek Tsai and Charles J. Colbourn and Jie Luo and Guanqiu Qi and Qingyang Li and Xiaoying Bai}, title = {Test Algebra for Combinatorial Testing}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {19-18}, doi = {}, year = {2013}, }

ParTes: A Test Generation Strategy for Choreography Participants
Francesco De Angelis, Daniele Fanì, and Andrea Polini
(University of Camerino, Italy; ISTI - CNR, Italy)


@InProceedings{AST13p26, author = {Francesco De Angelis and Daniele Fanì and Andrea Polini}, title = {ParTes: A Test Generation Strategy for Choreography Participants}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {26-25}, doi = {}, year = {2013}, }

Functional SOA Testing Based on Constraints
Seema Jehan, Ingo Pill, and Franz Wotawa
(TU Graz, Austria)


@InProceedings{AST13p33, author = {Seema Jehan and Ingo Pill and Franz Wotawa}, title = {Functional SOA Testing Based on Constraints}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {33-32}, doi = {}, year = {2013}, }

Testing Distributed, Concurrent, and Parallel Systems

Automatic Generation of Parallel Unit Tests
Jochen Schimmel, Korbinian Molitorisz, Ali Jannesari, and Walter F. Tichy
(KIT, Germany; German Research School for Simulation Sciences, Germany; RWTH Aachen University, Germany)


@InProceedings{AST13p40, author = {Jochen Schimmel and Korbinian Molitorisz and Ali Jannesari and Walter F. Tichy}, title = {Automatic Generation of Parallel Unit Tests}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {40-39}, doi = {}, year = {2013}, }

Profile Directed Systematic Testing of Concurrent Programs
Yan Hu, Jun Yan, Jian Zhang, and He Jiang
(Dalian University of Technology, China; ISCAS, China)


@InProceedings{AST13p47, author = {Yan Hu and Jun Yan and Jian Zhang and He Jiang}, title = {Profile Directed Systematic Testing of Concurrent Programs}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {47-46}, doi = {}, year = {2013}, }

Which Compiler Optimization Options Should I Use for Detecting Data Races in Multithreaded Programs?
Changjiang Jia and W. K. Chan
(City University of Hong Kong, China)


@InProceedings{AST13p54, author = {Changjiang Jia and W. K. Chan}, title = {Which Compiler Optimization Options Should I Use for Detecting Data Races in Multithreaded Programs?}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {54-53}, doi = {}, year = {2013}, }

Security Testing

Security Testing of the Communication among Android Applications
Andrea Avancini and Mariano Ceccato
(Fondazione Bruno Kessler, Italy)


@InProceedings{AST13p58, author = {Andrea Avancini and Mariano Ceccato}, title = {Security Testing of the Communication among Android Applications}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {58-57}, doi = {}, year = {2013}, }

Access Control Enforcement Testing
Donia El Kateb, Yehia ElRakaiby, Tejeddine Mouelhi, and Yves Le Traon
(University of Luxembourg, Luxembourg)


@InProceedings{AST13p65, author = {Donia El Kateb and Yehia ElRakaiby and Tejeddine Mouelhi and Yves Le Traon}, title = {Access Control Enforcement Testing}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {65-64}, doi = {}, year = {2013}, }

XSS Pattern for Attack Modeling in Testing
Josip Bozic and Franz Wotawa
(TU Graz, Austria)


@InProceedings{AST13p72, author = {Josip Bozic and Franz Wotawa}, title = {XSS Pattern for Attack Modeling in Testing}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {72-71}, doi = {}, year = {2013}, }

Test-Case Generation

Automated Generation of State Abstraction Functions using Data Invariant Inference
Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, Kiran Lakhotia, and Mark Harman
(Fondazione Bruno Kessler, Italy; University College London, UK)


@InProceedings{AST13p76, author = {Paolo Tonella and Cu Duy Nguyen and Alessandro Marchetto and Kiran Lakhotia and Mark Harman}, title = {Automated Generation of State Abstraction Functions using Data Invariant Inference}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {76-75}, doi = {}, year = {2013}, }

Towards Automatic Scenario Generation from Coverage Information
Melanie Diepenbeck, Mathias Soeken, Daniel Große, and Rolf Drechsler
(University of Bremen, Germany; DFKI at Bremen, Germany; solvertec, Germany)


@InProceedings{AST13p83, author = {Melanie Diepenbeck and Mathias Soeken and Daniel Große and Rolf Drechsler}, title = {Towards Automatic Scenario Generation from Coverage Information}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {83-82}, doi = {}, year = {2013}, }

Test-Duo: A Framework for Generating and Executing Automated Acceptance Tests from Use Cases
Chin-Yun Hsieh, Chen-Hsin Tsai, and Yu Chin Cheng
(National Taipei University of Technology, Taiwan)


@InProceedings{AST13p90, author = {Chin-Yun Hsieh and Chen-Hsin Tsai and Yu Chin Cheng}, title = {Test-Duo: A Framework for Generating and Executing Automated Acceptance Tests from Use Cases}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {90-89}, doi = {}, year = {2013}, }

Reuse, Refactoring, and Regression Test

A Refactoring-Based Approach for Test Case Selection and Prioritization
Everton L. G. Alves, Patricia D. L. Machado, Tiago Massoni, and Samuel T. C. Santos
(UFCG, Brazil)


@InProceedings{AST13p94, author = {Everton L. G. Alves and Patricia D. L. Machado and Tiago Massoni and Samuel T. C. Santos}, title = {A Refactoring-Based Approach for Test Case Selection and Prioritization}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {94-93}, doi = {}, year = {2013}, }

Utilizing Software Reuse Experience for Automated Test Recommendation
Werner Janjic and Colin Atkinson
(University of Mannheim, Germany)


@InProceedings{AST13p101, author = {Werner Janjic and Colin Atkinson}, title = {Utilizing Software Reuse Experience for Automated Test Recommendation}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {101-100}, doi = {}, year = {2013}, }

Did We Test Our Changes? Assessing Alignment between Tests and Development in Practice
Sebastian Eder, Benedikt Hauptmann, Maximilian Junker, Elmar Juergens, Rudolf Vaas, and Karl-Heinz Prommer
(TU Munich, Germany; CQSE, Germany; Munich Re, Germany)


@InProceedings{AST13p108, author = {Sebastian Eder and Benedikt Hauptmann and Maximilian Junker and Elmar Juergens and Rudolf Vaas and Karl-Heinz Prommer}, title = {Did We Test Our Changes? Assessing Alignment between Tests and Development in Practice}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {108-107}, doi = {}, year = {2013}, }

Application Software Testing

Automatic Test Generation for Mutation Testing on Database Applications
Kai Pan, Xintao Wu, and Tao Xie
(University of North Carolina at Charlotte, USA; North Carolina State University, USA)


@InProceedings{AST13p112, author = {Kai Pan and Xintao Wu and Tao Xie}, title = {Automatic Test Generation for Mutation Testing on Database Applications}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {112-111}, doi = {}, year = {2013}, }

An Industry Proof-of-Concept Demonstration of Automated Combinatorial Test
Redge Bartholomew
(Rockwell Collins, USA)


@InProceedings{AST13p119, author = {Redge Bartholomew}, title = {An Industry Proof-of-Concept Demonstration of Automated Combinatorial Test}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {119-118}, doi = {}, year = {2013}, }

Extension of Selenium RC Tool to Perform Automated Testing with Databases in Web Applications
Andreza M. F. V. de Castro, Gisele A. Macedo, Eliane F. Collins, and Arilo C. Dias-Neto
(Nokia Institute of Technology, Brazil; UFAM, Brazil)


@InProceedings{AST13p126, author = {Andreza M. F. V. de Castro and Gisele A. Macedo and Eliane F. Collins and Arilo C. Dias-Neto}, title = {Extension of Selenium RC Tool to Perform Automated Testing with Databases in Web Applications}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {126-125}, doi = {}, year = {2013}, }

Testing and Debugging

Quantifying the Complexity of Dataflow Testing
Giovanni Denaro, Mauro Pezzè, and Mattia Vivanti
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)


@InProceedings{AST13p133, author = {Giovanni Denaro and Mauro Pezzè and Mattia Vivanti}, title = {Quantifying the Complexity of Dataflow Testing}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {133-132}, doi = {}, year = {2013}, }

Computation and Visualization of Cause-Effect Paths
Alpana Dubey and P. V. R. Murthy
(ABB, India; Siemens, India)


@InProceedings{AST13p140, author = {Alpana Dubey and P. V. R. Murthy}, title = {Computation and Visualization of Cause-Effect Paths}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {140-139}, doi = {}, year = {2013}, }

JIFFY: A Framework for Encompassing Aspects in Testing and Debugging Software
Mohammad Asif and Y. Raghu Reddy
(IIIT Hyderabad, India)


@InProceedings{AST13p147, author = {Mohammad Asif and Y. Raghu Reddy}, title = {JIFFY: A Framework for Encompassing Aspects in Testing and Debugging Software}, booktitle = {Proc.\ AST}, publisher = {IEEE}, pages = {147-146}, doi = {}, year = {2013}, }

proc time: 0.05