Program for 9th International Workshop on Automation of
Software Test (AST 2014)
Program at a Glance
Saturday May 31
st8:50 - 9:00
Opening
9:00 - 10:30
Session I: Security and Performance
Testing
10:30 - 11:00
Break
11:00 - 12:30
Session II: Test and Change Coverage
12:30 - 14:00
Lunch
14:00 - 15:30
Invited Talks
15:30 - 16:00
Break
16:00 - 17:30
Invited Talk & Charette Discussion I
Sunday June 1
st9:00 - 10:30
Keynote Talk
10:30 - 11:00
Break
11:00 - 12:30
Session III: Property Checking and
Debugging
12:30 - 14:00
Lunch
14:00 - 15:30
Charette Discussion II
15:30 - 16:00
Close of Workshop
Detailed Program
Saturday May 31
st8:50 – 9:00 Opening
9:00 - 10:30
Session I: Security and Performance Testing
Session Chair: Antonia Bertolino
Attack Pattern-Based Combinatorial Testing
Josip Bozic, Dimitris E. Simos, and Franz Wotawa (Graz
University of Technology, Austria; SBA Research, Austria)
An Automated Testing Approach for Inter-application Security
in Android
Chenkai Guo, Jing Xu, Hongji Yang, Ying Zeng, and Shuang Xing
(Nankai University, China; Bath Spa University, UK)
Categorizing Configuration Parameters of Smartphones for
Energy Performance Testing
Kshirasagar Naik, Yasir Ali, Veluppillai Mahinthan, Ajit Singh,
and Abdulhakim Abogharaf (University of Waterloo, Canada;
Aljabal Algharby University, Libya)
10:30 - 11:00
Break
11:00 - 12:30
Session II: Test and Change Coverage
Session Chair: Tadahiro Uehara
Social Coverage for Customized Test Adequacy and Selection
Criteria
Breno Miranda and Antonia Bertolino (University of Pisa, Italy;
ISTI-CNR, Italy)
Selecting Manual Regression Test Cases Automatically using
Trace Link Recovery and Change Coverage
Sebastian Eder, Benedikt Hauptmann, Maximilian Junker, Rudolf
Vaas, and Karl-Heinz Prommer (TU München, Germany; Munich
Re, Germany)
Effective Unit-Testing in Model-Based Software Development
Damodaram Kamma and Pooja Maruthi (Bosch, India)
12:30 - 14:00
Lunch
14:00 - 15:30
Invited Talks
Session Chair: Saurabh Sinha
Invited Talk I
Title: Industrial case studies of automatic test generation for
business application and mobile app development
Abstract:
A rapid improvement of SAT/SMT technologies lead to a practical stage of test generation leveraging symbolic execution and constraint solving. Fujitsu Laboratories have been developing realistic technologies in this field and have applied them to industrial-strength application developments. In this presentation, we show the experiences how we applied our technologies in the context of application developments with Java, C/C++ and COBOL, as well as mobile app developments attracting attention recently.Speaker Bio:
Tadahiro Uehara works at Fujitsu Laboratories Ltd., Japan. His research interests include software engineering, especially object-oriented technologies and testing technologies for business applications. Uehara received an ME in intelligent science from the Tokyo Institute of Technology. He can be cotacted at [email protected].Invited Talk II
Title:
Challenges in mobile app testingAbstract:
It is no longer just enough to ensure that the app I built works. App developers are more interested in user experience since mobile app development has democratized the world of software development. Will my app perform? Will the users like it or will they rate my app 1 star? Will it crash on a make and model that only .00001% of users use? In this talk, we will go through the challenges and some available solutions that are unique to mobile app development.Speaker Bio:
Ajay Chebbi is a Software Architect in product development at the IBM India Software Lab in Bangalore. He works on the Rational Collaborative Application Lifecycle Management tools. Ajay develops test execution methods inRational Quality Manager (RQM). Recently, he has led the development of a mobile client for RQM.
15:30 - 16:00
Break
16:00 - 17:30
Invited Talk & Charette Discussion I
Session Chair: Saurabh Sinha & Lu Zhang
Invited Talk III
Title: Practical challenges in testing of mobile applications
Abstract
: Today, industry faces several challenges in testing of mobileapplications. Some of these challenges include respecting privacy of user data, verification of app functionality at remote centers, dealing with heterogeneity of network connectivity and conditions, etc. To overcome these challenges, Infosys Labs has developed a set of tools that are used across business units of Infosys to verify and validate mobile applications. In this presentation, we discuss the experience of developing and deploying of our technologies along with the case studies of these tools in practice.
Speaker Bio
: Dr. Anjaneyulu Pasala is a Principal Research Scientist at Infosys Labs, Bangalore. He leads automation research group at Infosys Labs. He specializes on research, new IP development and transfer of technology tobusiness units to drive profitability. He has been credited developing several products which are used internally across Infosys. He has published several research papers in journals and international and national conferences. He has filed several patent applications and 4 granted by US PTO till now. Dr Pasala received B.Tech. and M.Tech. from Sri Venkateswara University College of Engineering at Tirupathi. He obtained Ph.D. in Computer Science and Engineering from IIT Madras. He can be reached at
Charette Discussion I
Group Discussions
Sunday June 1
st9:00 - 10:30
Keynote Talk
Session Chair: Saurabh Sinha
Title: Is Crowd Testing (relevant) for Software Engineers?
Abstract:
Crowd testing uses the "crowd" as the main resource for running test cases. Companies providing crowd testing as a service are growing at an exponential rate, reporting unconventionally successful stories, and gaining great incomes. But, what is crowd testing? How it relates with other software testing processes and activities? And, can crowd testing be foreseen as a systematic, and disciplined testing approach? This speech, after an inclusive presentation of the principles and facts of crowd testing, will present some of the envisioned software engineering challenges and expected future research in crowd testing as asoftware engineering discipline.
Speaker Bio:
Henry Muccini is a tenure track professor at the University of L’Aquila, Italy. He holds a Ph.D. degree from the University of Rome, LaSapienza, and he has been visiting professor at the University of California, Irvine. Henry Muccini has been working since a decade towards the cross-fertilization between the software architecture and software testing communities. In this line, he has been recently organizing a charette session on Architecture Support for Testing at the AST 2011 workshop, a workshop
on Architecture-Based Testing and System Validation Workshop at the WICSA 2011 software architecture conference, and a special issue on the topic recently published by the Computing journal. Henry Muccini has been chairing the programme committee of EUROMICRO SEAA in 2012, and of the Quality Software conference QSIC in 2012. He has been co-chairing the Automation in Software Test AST 2013 workshop at ICSE 2013, and will be the PC co-chair of WICSA in 2016. Henry Muccini is actively co-organizing a number of events on software architecture and software testing. He is serving as a PC members in the majors software engineering and software architecture events. For more
information about Henry, please visit www.henrymuccini.com. To contact him, please send a message to [email protected] or a tweet at @muccinihenry.
10:30 - 11:00
Break
11:00 - 12:30
Session III: Property Checking and Debugging
Session Chair: Henry Muccini
Distributed System Services
Kaliappa Ravindran and Arun Adiththan (City University of New
York, USA)
Improved Semantics and Implementation through
Property-Based Testing with QuickCheck
Huiqing Li and Simon Thompson (University of Kent, UK)
Reduce First, Debug Later
Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, and Andreas
Nikas (Utrecht University, Netherlands)
12:30 - 14:00
Lunch
14:00 - 15:30
Charette Discussion II
Session Chair: Saurabh Sinha
Group Presentations & Further Discussion
15:30 - 16:00
