ICSE 2013 Workshops
2013 35th International Conference on Software Engineering (ICSE)
Powered by
Conference Publishing Consulting

2013 8th International Workshop on Automation of Software Test (AST), May 18-19, 2013, San Francisco, CA, USA

AST 2013 – Proceedings

Contents - Abstracts - Authors

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


Title Page

Testing-as-a-Service I

Integrated TaaS Platform for Mobile Development: Architecture Solutions
Oleksii Starov and Sergiy Vilkomir
(East Carolina University, USA)
Automated Scalability Testing of Software as a Service
Paulo Moura and Fabio Kon
(USP, Brazil)
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)

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)
ParTes: A Test Generation Strategy for Choreography Participants
Francesco De Angelis, Daniele Fanì, and Andrea Polini
(University of Camerino, Italy; ISTI - CNR, Italy)
Functional SOA Testing Based on Constraints
Seema Jehan, Ingo Pill, and Franz Wotawa
(TU Graz, Austria)

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)
Profile Directed Systematic Testing of Concurrent Programs
Yan Hu, Jun Yan, Jian Zhang, and He Jiang
(Dalian University of Technology, China; ISCAS, China)
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)

Security Testing

Security Testing of the Communication among Android Applications
Andrea Avancini and Mariano Ceccato
(Fondazione Bruno Kessler, Italy)
Access Control Enforcement Testing
Donia El Kateb, Yehia ElRakaiby, Tejeddine Mouelhi, and Yves Le Traon
(University of Luxembourg, Luxembourg)
XSS Pattern for Attack Modeling in Testing
Josip Bozic and Franz Wotawa
(TU Graz, Austria)

Test-Case Generation

Automated Generation of State Abstraction Functions using Data Invariant Inference
Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, Kiran Lakhotia, and Mark HarmanORCID logo
(Fondazione Bruno Kessler, Italy; University College London, UK)
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)
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)

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)
Utilizing Software Reuse Experience for Automated Test Recommendation
Werner Janjic and Colin Atkinson
(University of Mannheim, Germany)
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)

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)
An Industry Proof-of-Concept Demonstration of Automated Combinatorial Test
Redge Bartholomew
(Rockwell Collins, USA)
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)

Testing and Debugging

Quantifying the Complexity of Dataflow Testing
Giovanni Denaro, Mauro PezzèORCID logo, and Mattia Vivanti
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)
Computation and Visualization of Cause-Effect Paths
Alpana Dubey and P. V. R. Murthy
(ABB, India; Siemens, India)
JIFFY: A Framework for Encompassing Aspects in Testing and Debugging Software
Mohammad Asif and Y. Raghu Reddy
(IIIT Hyderabad, India)

proc time: 0.04