website: A-MOST 2012
|
Session1
From Models to Runtime Execution |
A Runtime Monitoring Framework for Event Streams with Non-Primitive Arguments
Jérôme Calvar, Raphaël Tremblay-Lessard and Sylvain Hallé
Grammar-Based Testing using Realistic Domains in PHP
Ivan Enderlin, Frederic Dadeau, Alain Giorgetti and Fabrice Bouquet
|
|
Session2
Industrial Challenges |
From AUTOSAR Models to Co-Simulation for MiL-Testing in the Automotive Domain
Marcus Mews, Jaroslav Svacina and Stephan Weissleder
An extended LLRP model for RFID system test and diagnosis
Rafik Kheddam, Oum-El-Kheir Aktouf and Ioannis Parissis
|
|
Session3
Test Case Generation |
Test Sequence Generation from Classification Trees
Peter M. Kruse and Joachim Wegener
Experimental Comparison of Test Case Generation Methods for Finite State Machines
André Takeshi Endo and Adenilso Simao
|
|
website: CT 2012
|
Session1
CT Environments and Tools |
CitLab: a Laboratory for Combinatorial Interaction Testing
Angelo Gargantini, Paolo Vavassori
Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications
Rudolf Ramler, Theodorich Kopetzky, Wolfgang Platz
Simplified Modeling of Combinatorial Test Spaces
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
|
|
Session2
Experience Reports I |
Effectiveness of Pair-wise Testing for Software with Boolean Inputs
William Alton Ballance, Sergiy Vilkomir, William Jenkins
Combinatorial Testing on ID3v2 Tags of MP3 Files
Zhiqiang Zhang, Xiaojian Liu, Jian Zhang
Combinatorial Testing of ACTS: A Case Study
Mehra Nouroz Borazjany, Linbin Yu, Yu Lei, Raghu Kacker, Rick Kuhn
|
|
Session3
CT Test Generation and Fault Localization |
Combinatorial Methods for Event Sequence Testing
Rick Kuhn, James Higdon, James Lawrence, Raghu Kacker, Yu Lei
Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing
Elke Salecker, Sabine Glesner
Isolating Failure-Inducing Combinations in Combinatorial Testing using Test Augmentation and Classification
Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, Rick Kuhn
|
|
Session4
Experience Reports II |
Common Patterns in Combinatorial Models
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment
Jon Hagar, Atlee Cunningham
|
|
website: LT 2012
|
Session1
Regular Papers |
Automated Performance Model Construction Through Event Log Analysis
Ahmad Mizan and Greg Franks
Peer-to-peer Load Testing
Jorge Augusto Meira, Eduardo Cunha De Almeida, Yves Le Traon and Gerson Sunyé
Overcoming Web Server Benchmarking Challenges in the Multi-Core Era
Raoufehsadat Hashemian Harandi, Diwakar Krishnamurthy and Martin Arlitt
|
|
Session2
Large-Scale Testing |
Challenges And Opportunities with Testing Large Systems at Ericsson
Sigrid Eldh and Leif Jonsson (Malardalen University)
Evaluating performance using OPERA model
Cornel Barna (York University)
Empirical Studies of Performance Bugs and Performance Analysis Approaches for
Large Scale Software System
Shahed Zaman (Queen’s University)
|
|
website: Mutation 2012
|
Session1
Efficiency of mutation |
Toward Harnessing High-level Language Virtual Machines for Further Speeding up
Weak Mutation Testing
Vinicius Durelli, Jeff Offutt and Marcio Delamaro
Mutant Execution Cost Reduction
Pedro Reales Mateo and Macario Polo Usaola
Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?
Rene Just, Gregory Kapfhammer and Franz Schweiggert
|
|
Session2
Novel mutation testing paradigms |
Isolating First Order Equivalent Mutants via Second Order Mutation
Marinos Kintis, Mike Papadakis and Nicos Malevri
SMT-C: A Semantic Mutation Testing Tool for C
Haitao Dan and Rob Hierons
MESSI: Mutant Evaluation by Static Semantic Interpretation
Matthew Patrick, Manuel Oriol and John Clark
|
|
Session3
New applications |
Using mutants to locate “unknown†faults
Mike Papadakis and Yves Le Traon
Testing Obligation Policy Enforcement using Mutation Testing
Yehia Elrakaiby, Tejeddine Mouelhi and Yves Le Traon
|
|
website: Regression 2012
|
Session1
Approaches and Applications |
Test Case Prioritization Due to Database Changes in Web Applications
Deepak Garg and Amitava Datta
Dependency-Based Test Case Selection and Prioritization in Embedded Systems
Philipp Caliebe, Thomas Herpel, and Reinhard German
Analysis of Test Clusters for the Regression Testing
Bo Guo, Mahadevan Subramaniam, and Parvathi Chundi
|
|
Session2
Visualizations and Viewpoints |
Enhancing Fault Localization via Multivariate Visualization
Wes Masri, Rawad Abou Assi, Fadi Zaraket and Nour Al-Fatairi
Software Product Line Testing - A 3D Regression Testing Problem
Per Runeson and Emelie Engstrom
GUICop: GUI Specification-based Testing
Fadi Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie
Khamissi and Joseph Noujaim
|
|
website: CSTVA'2012
|
Session1
Fast abstracts I |
Statechart Analysis with Symbolic PathFinder
Corina Pasareanu, Daniel Balasubramanian
Minimum pairwise coverage using constraint programming techniques
Arnaud Gotlieb, Aymeric Hervieu and Benoit Baudry
|
|
Session2
Full Papers |
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints
Bernhard K. Aichernig and Elisabeth Joebstl
Numerical Constraints for Combinatorial Interaction Testing
Peter M. Kruse, Jürgen Bauer and Joachim Wegener
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques
Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati and Lionel Briand
|
|
Session3
Fast abstracts II |
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs
Olivier Ponsini, Claude Michel and Michel Rueher
Open research challenges of localizing faults in programs using constraints
Franz Wotawa
|
|
website: SBST 2012
|
Session1
|
Semi-Automatic Search-based Test Generation
Yury Pavlov and Gordon Fraser
A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation
of JUnit Test Suites
Linda Di Geronimo, Filomena Ferrucci, Alfonso Murolo and Federica Sarro
|
|
Session2
|
A search-based approach for testing for quantitative properties of wireless network protocol stacks
Matthias Woehrle
A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented Systems
Romain Delamare and Nicholas A. Kraft
|
|
website: SECTEST 2012
|
Session1
|
Model-Based Fuzz Testing
Ina Schieferdecker
Managing Evolution by Orchestrating Requirements and Testing Engineering Processes
Federica Paci, Fabio Massacci, Fabrice Bouquet, and Stephane Debricon
|
|
Session2
|
XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing
Fabien Duchene, Roland Groz, Jean-Luc Richier, and Sanjay Rawat
A Taint Based Approach for Smart Fuzzing
Sofia Bekrar, Roland Groz, and Mounier Laurent
A Testing Model for Dynamic Malware Analysis Systems
Mathieu Couture, Frédéric Massicotte, Hugues Normandin, and Frédéric Michaud
|
|
Session3
|
Automatic XACML requests generation for policy testing
Antonia Bertolino, Said Daoudagh, Francesca Lonetti, and Eda Marchetti
Solving Some Modeling Challenges when Testing Rich Internet Aplications for Security
Suryakant Choudhary, Mustafa Emre Dincturk, Gregor V. Bochmann, Guy-Vincent Jourdan, Iosif Viorel Onut, and Paul Ionescu
|
|
Session4
|
SPaCiTE - Web Application Testing Engine
Matthias Büchler, Johan Oudinet, and Alexander Pretschner
Events-Based Security Monitoring Using MMT Tool
Bachar Wehbi, Edgardo Montes de Oca, and Michel Bourdellès
The SmartLogic Tool: Analysing and Testing Smart Card Protocols
Gerhard de Koning Gans and Joeri de Ruite
|
|
website: TAIC PART 2012
|
Session1
Fast Abstract |
A Framework to Support Research in and Encourage Industrial Adoption of
Regression Testing Techniques
Jonathan Kauffman and Gregory Kapfhammer
Symbolic System Time in Distributed Systems Testing
Oscar Soria Dustmann, Raimondas Sasnauskas and Klaus Wehrle
|
|
Session2
Experiences |
It Takes Two to Tango - An Experience Report on Industry-Academia Collaboration
Per Runesont
Adding Criteria-Based Tests to Test Driven Development
William Shelton, Nan Li, Paul Ammann and Jeff Offutt
Technical Debt in Test Automation
Kristian Wiklund, Sigrid Eldh, Daniel Sundmark and Kristina Lundqvist
|
|
Session3
Testing of Distributed Systems |
Testing of evolving protocols
Jacek Chrzaszcs, Patryk Czarnik, Aleksy Schubert and Andrzej Tarlecki
Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and Challenges
Sigrid Eldh and Daniel Sundmark
|
|
Session4
Code Analysis, Test Case Generation |
GEMS: A Generic Model Based Source Code Instrumentation Framework
Pavan Kumar Chittimalli and Vipul Shah
Combining Static Analysis and Constraint Solving for Automatic Test Case Generation
Kostyantyn Vorobyov and Padmanabhan Krishnan
|
|
website: VOLT 2012
|
Session1
Industry & Challenges |
Challenges for Addressing Quality Factors in Model Transformation
Eugene Syriani and Jeff Gray
|
|
Session2
Verifying Model Transformations I |
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
Levi Lúcio, Moussa Amrani, Juergen Dingel, Gehan Selim, Benoit Combemale, Hans
Vangheluwe, Yves Le Traon and James R. Cordy
Towards a Methodology for Verifying Partial Model Refinements
Rick Salay, Marsha Chechik and Jan Gorzny
Verified Operational Patterns with Graph Transformation
Tamás Mészáros and Tihamér Levendovsky
|
|
Session3
Verifying Model Transformations II |
Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
Hanh Nhi Tran and Christian Percebois
|
|
|
|
