5. ICST 2012: Montreal, QC, Canada
Giuliano Antoniol, Antonia Bertolino, Yvan Labiche (Eds.): 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. IEEE 2012 ISBN 978-1-4577-1906-6
Research Session 1: Handling Models
- Milos Gligoric, Peter C. Mehlitz, Darko Marinov: X10X: Model Checking a New Programming Language with an "Old" Model Checker. 11-20
- Paolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman: Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs. 21-30
Research Session 2: Fault Localization
- Frolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah: AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript. 31-40
- Sangmin Park, Richard W. Vuduc, Mary Jean Harrold: A Unified Approach for Localizing Non-deadlock Concurrency Bugs. 51-60
Research Session 3: Database and GUI Testing
- Chixiang Zhou, Phyllis G. Frankl: Empirical Studies on Test Effectiveness for Database Applications. 61-70
- Raquel Blanco, Javier Tuya, Rubén V. Seco: Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach. 71-80
- Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro: AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. 81-90
Research Session 4: Constraint Solving
- Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid: Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. 91-100
- Tianhai Liu, Michael Nagel, Mana Taghdiri: Bounded Program Verification Using an SMT Solver: A Case Study. 101-110
- Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu: Symbolic Execution with Interval Solving and Meta-heuristic Search. 111-120
Research Session 5: Search-Based Testing
- Gordon Fraser, Andrea Arcuri: The Seed is Strong: Seeding Strategies in Search-Based Software Testing. 121-130
- Juan José Cadavid, Benoit Baudry, Houari A. Sahraoui: Searching the Boundaries of a Modeling Space to Test Metamodels. 131-140
- Phil McMinn, Muzammil Shahbaz, Mark Stevenson: Search-Based Test Input Generation for String Data Types Using the Results of Web Queries. 141-150
Research Session 6: Web Applications
- Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella, Paolo Tonella: Crawlability Metrics for Web Applications. 151-160
- Sara Sprenkle, Camille Cobb, Lori L. Pollock: Leveraging User-Privilege Classification to Customize Usage-based Statistical Models of Web Applications. 161-170
- Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso: CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications. 171-180
Research Session 7: Faults Studies
- Thomas R. Devine, Katerina Goseva-Popstojanova, Sandeep Krishnan, Robyn R. Lutz, J. Jenny Li: An Empirical Study of Pre-release Software Faults in an Industrial Product Line. 181-190
- Nicholas DiGiuseppe, James A. Jones: Software Behavior and Failure Clustering: An Empirical Study of Fault Causality. 191-200
- Manuel Oriol: Random Testing: Evaluation of a Law Describing the Number of Faults Found. 201-210
Research Session 8: Test Evolution
- Muhammad Zubair Malik, Sarfraz Khurshid: Dynamic Shape Analysis Using Spectral Graph Properties. 211-220
- Aaron Marback, Hyunsook Do, Nathan Ehresmann: An Effective Regression Testing Approach for PHP Web Applications. 221-230
- Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè: Supporting Test Suite Evolution through Test Case Adaptation. 231-240
Research Session 9: Domain-Specific Testing
- Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol: Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. 241-250
- Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki: Formal Model-Based Test for AUTOSAR Multicore RTOS. 251-259
- Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens: @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. 260-269
Research Session 10: White-Box Techniques
Research Session 11: State-Based Testing
- Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko: Generating Checking Sequences for Nondeterministic Finite State Machines. 310-319
- Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov: Evaluating Machine-Independent Metrics for State-Space Exploration. 320-329
Research Session 12: Empirical Studies
- Natalia Juristo Juzgado, Sira Vegas, Martín Solari, Silvia Abrahão, Isabel Ramos: Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects. 330-339
- Moonzoo Kim, Yunho Kim, Gregg Rothermel: A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. 340-349
- Emil Börjesson, Robert Feldt: Automated System Testing Using Visual GUI Testing Tools: A Comparative Study in Industry. 350-359
Research Session 13: Failure Analysis
- Boya Sun, Gang Shu, Andy Podgurski, Soumya Ray: CARIAL: Cost-Aware Software Reliability Improvement with Active Learning. 360-369
- Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Tao Xie, D. Richard Kuhn, Raghu Kacker: Identifying Failure-Inducing Combinations in a Combinatorial Test Set. 370-379
Industrial Session 1: Case Studies
- Moonzoo Kim, Yunho Kim, Yoonkyu Jang: Industrial Application of Concolic Testing on Embedded Software: Case Studies. 390-399
- Shahnewaz A. Jolly, Vahid Garousi, Matt M. Eskandar: Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research. 400-409
- Shahed Zaman, Bram Adams, Ahmed E. Hassan: A Large Scale Empirical Study on User-Centric Performance Analysis. 410-419
Industrial Session 2: Analysis and Validation
- Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius: Analyzing a Controller of a Power Distribution Unit Using Formal Methods. 420-428
- Raghudeep Kannavara: Securing Opensource Code via Static Analysis. 429-436
- Leif Jonsson, David Broman, Kristian Sandahl, Sigrid Eldh: Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization. 437-446
Industrial Session 3: Test Automation
- Roberto Silveira Silva Filho, Christof J. Budnik: An Integrated Model-Driven Approach for Mechatronic Systems Testing. 447-456
- Michael Wahler, Ettore Ferranti, Robin Steiger, Rahul Jain, Kristian Nagy: CAST: Automating Software Tests for Embedded Systems. 457-466
- Jin Chen, Mengxiang Lin, Kai Yu, Bing Shao: When a GUI Regression Test Failed, What Should be Blamed? 467-470
Ph.D. Symposium
- Nan Li: A Smart Structured Test Automation Language (SSTAL). 471-474
- Emil Börjesson: Industrial Applicability of Visual GUI Testing for System and Acceptance Test Automation. 475-478
- Aritra Bandyopadhyay: Mitigating the Effect of Coincidental Correctness in Spectrum Based Fault Localization. 479-482
- Christoph Malz, Nasser Jazdi, Peter Göhner: Prioritization of Test Cases Using Software Agents and Fuzzy Logic. 483-486
- Thanh H. D. Nguyen: Using Control Charts for Detecting and Understanding Performance Regressions in Large Software. 491-494
- Upsorn Praphamontripong: Web Mutation Testing. 495-498
The Eighth Workshop on Advances in Model Based Testing (A-MOST 2012)
Session 1: From Models to Runtime Execution
- Jérôme Calvar, Raphaël Tremblay-Lessard, Sylvain Hallé: A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments. 499-508
- Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet: Grammar-Based Testing Using Realistic Domains in PHP. 509-518
Session 2: Industrial Challenges
- Marcus Mews, Jaroslav Svacina, Stephan Weißleder: From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain. 519-528
- Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis: An Extended LLRP Model for RFID System Test and Diagnosis. 529-538
Session 3: Test Case Generation
- André Takeshi Endo, Adenilso da Silva Simão: Experimental Comparison of Test Case Generation Methods for Finite State Machines. 549-558
Workshop on Combinatorial Testing (CT 2012)
Session 1: CT Environments and Tools
- Angelo Gargantini, Paolo Vavassori: CITLAB: A Laboratory for Combinatorial Interaction Testing. 559-568
- Rudolf Ramler, Theodorich Kopetzky, Wolfgang Platz: Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications. 569-572
- Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick: Simplified Modeling of Combinatorial Test Spaces. 573-579
Session 2: Experience Reports I
- William Alton Ballance, Sergiy Vilkomir, William Jenkins: Effectiveness of Pair-Wise Testing for Software with Boolean Inputs. 580-586
- Mehra N. Borazjany, Linbin Yu, Yu Lei, Raghu Kacker, Rick Kuhn: Combinatorial Testing of ACTS: A Case Study. 591-600
Session 3: CT Test Generation and Fault Localization
- D. Richard Kuhn, James M. Higdon, James Lawrence, Raghu Kacker, Yu Lei: Combinatorial Methods for Event Sequence Testing. 601-609
- Elke Salecker, Sabine Glesner: Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. 610-619
- Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, D. Richard Kuhn: Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification. 620-623
Session 4: Experience Reports II
- Atlee M. Cunningham Jr., Jon D. Hagar, Ryan J. Holman: A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment. 630-635
The First International Workshop on Load Testing of Large Software Systems (LT 2012)
- Ahmad Mizan, Greg Franks: Automated Performance Model Construction through Event Log Analysis. 636-641
- Jorge A. Meira, Eduardo Cunha de Almeida, Yves Le Traon, Gerson Sunyé: Peer-to-Peer Load Testing. 642-647
- Raoufehsadat Hashemian, Diwakar Krishnamurthy, Martin F. Arlitt: Overcoming Web Server Benchmarking Challenges in the Multi-core Era. 648-653
Seventh International Workshop on Mutation Analysis (Mutation 2012)
- Pedro Reales Mateo, Macario Polo Usaola: Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code). 664-672
- Yehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon: Testing Obligation Policy Enforcement Using Mutation Analysis. 673-680
- Vinicius H. S. Durelli, Jeff Offutt, Márcio Eduardo Delamaro: Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing. 681-690
- Marinos Kintis, Mike Papadakis, Nicos Malevris: Isolating First Order Equivalent Mutants via Second Order Mutation. 701-710
- Matthew Patrick, Manuel Oriol, John A. Clark: MESSI: Mutant Evaluation by Static Semantic Interpretation. 711-719
- René Just, Gregory M. Kapfhammer, Franz Schweiggert: Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? 720-725
The Second International Workshop on Regression Testing (Regression 2012)
Session 1: Approaches and Applications
- Deepak Garg, Amitava Datta: Test Case Prioritization Due to Database Changes in Web Applications. 726-730
- Philipp Caliebe, Thomas Herpel, Reinhard German: Dependency-Based Test Case Selection and Prioritization in Embedded Systems. 731-735
- Bo Guo, Mahadevan Subramaniam, Parvathi Chundi: Analysis of Test Clusters for Regression Testing. 736
Session 2: Visualizations and Viewpoints
- Wes Masri, Rawad Abou Assi, Fadi A. Zaraket, Nour Fatairi: Enhancing Fault Localization via Multivariate Visualization. 737-741
- Per Runeson, Emelie Engström: Software Product Line Testing - A 3D Regression Testing Problem. 742-746
- Fadi A. Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie Khamissi, Joseph Noujaim: GUICOP: Specification-Based GUI Testing. 747-751
Fourth International Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA 2012)
Papers
- Bernhard K. Aichernig, Elisabeth Jöbstl: Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. 752-757
- Peter M. Kruse, Jürgen Bauer, Joachim Wegener: Numerical Constraints for Combinatorial Interaction Testing. 758-763
- Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, Lionel C. Briand: Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. 764-769
Fast Abstracts
- Franz Wotawa: Open Research Challenges of Localizing Faults in Programs Using Constraints. 770-771
- Arnaud Gotlieb, Aymeric Hervieu, Benoit Baudry: Minimum Pairwise Coverage Using Constraint Programming Techniques. 773-774
- Olivier Ponsini, Claude Michel, Michel Rueher: Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. 775-776
Fifth International Workshop on Search-Based Software Testing (SBST 2012)
- Linda Di Geronimo, Filomena Ferrucci, Alfonso Murolo, Federica Sarro: A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites. 785-793
- Matthias Woehrle: Search-Based Stress Testing of Wireless Network Protocol Stacks. 794-803
- Romain Delamare, Nicholas A. Kraft: A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented Systems. 804-813
The Third International Workshop on Security Testing (SecTest 2012)
Session 1
- Ina Schieferdecker: Model-Based Fuzz Testing. 814
- Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier: XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. 815-817
- Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier: A Taint Based Approach for Smart Fuzzing. 818-825
Session 2
- Frédéric Massicotte, Mathieu Couture, Hugues Normandin, Frédéric Michaud: A Testing Model for Dynamic Malware Analysis Systems. 826-833
- Federica Paci, Fabio Massacci, Fabrice Bouquet, Stephane Debricon: Managing Evolution by Orchestrating Requirements and Testing Engineering Processes. 834-841
Session 3
- Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti: Automatic XACML Requests Generation for Policy Testing. 842-849
- Suryakant Choudhary, Mustafa Emre Dincturk, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut, Paul Ionescu: Solving Some Modeling Challenges when Testing Rich Internet Applications for Security. 850-857
Session 4
- Matthias Büchler, Johan Oudinet, Alexander Pretschner: SPaCiTE - Web Application Testing Engine. 858-859
- Bachar Wehbi, Edgardo Montes de Oca, Michel Bourdellès: Events-Based Security Monitoring Using MMT Tool. 860-863
- Gerhard de Koning Gans, Joeri de Ruiter: The SmartLogic Tool: Analysing and Testing Smart Card Protocols. 864-871
Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC PART 2012)
Experiences
- Per Runeson: It Takes Two to Tango - An Experience Report on Industry - Academia Collaboration. 872-877
- William Shelton, Nan Li, Paul Ammann, Jeff Offutt: Adding Criteria-Based Tests to Test Driven Development. 878-886
- Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist: Technical Debt in Test Automation. 887-892
Testing Distributed Systems
- Oscar Soria Dustmann, Raimondas Sasnauskas, Klaus Wehrle: Symbolic System Time in Distributed Systems Testing. 893-894
- Sigrid Eldh, Daniel Sundmark: Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and Challenges. 895-900
- Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki: Testing of Evolving Protocols. 901-906
Code Analysis, Test Case Generation, Regression
- Jonathan Miller Kauffman, Gregory M. Kapfhammer: A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques. 907-908
- Pavan Kumar Chittimalli, Vipul Shah: GEMS: A Generic Model Based Source Code Instrumentation Framework. 909-914
- Kostyantyn Vorobyov, Padmanabhan Krishnan: Combining Static Analysis and Constraint Solving for Automatic Test Case Generation. 915-920
ICST Workshop on Verification and Validation of Model Transformations (VOLT 2012)
- Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy: A Tridimensional Approach for Studying the Formal Verification of Model Transformations. 921-928
- Eugene Syriani, Jeff Gray: Challenges for Addressing Quality Factors in Model Transformation. 929-937
- Rick Salay, Marsha Chechik, Jan Gorzny: Towards a Methodology for Verifying Partial Model Refinements. 938-945
- Hanh Nhi Tran, Christian Percebois: Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations. 946-953
- Tamás Mészáros, Tihamer Levendovszky: Verified Operational Patterns with Graph Transformation. 954-961
Posters
- Eric James Rapos, Jürgen Dingel: Incremental Test Case Generation for UML-RT Models Using Symbolic Execution. 962-963
- Gregory M. Kapfhammer: Towards a Method for Reducing the Test Suites of Database Applications. 964-965
- Antinisca Di Marco, Francesca Lonetti, Guglielmo De Angelis: Property-Driven Software Engineering Approach. 966-967
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team