| 2012 | @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens |
| 2012 | A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques. Jonathan Miller Kauffman, Gregory M. Kapfhammer |
| 2012 | A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented Systems. Romain Delamare, Nicholas A. Kraft |
| 2012 | A Large Scale Empirical Study on User-Centric Performance Analysis. Shahed Zaman, Bram Adams, Ahmed E. Hassan |
| 2012 | A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites. Linda Di Geronimo, Filomena Ferrucci, Alfonso Murolo, Federica Sarro |
| 2012 | A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments. Jérôme Calvar, Raphaël Tremblay-Lessard, Sylvain Hallé |
| 2012 | A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. Moonzoo Kim, Yunho Kim, Gregg Rothermel |
| 2012 | A Smart Structured Test Automation Language (SSTAL). Nan Li |
| 2012 | A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment. Atlee M. Cunningham Jr., Jon D. Hagar, Ryan J. Holman |
| 2012 | A Taint Based Approach for Smart Fuzzing. Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier |
| 2012 | A Testing Model for Dynamic Malware Analysis Systems. Frédéric Massicotte, Mathieu Couture, Hugues Normandin, Frédéric Michaud |
| 2012 | A Tridimensional Approach for Studying the Formal Verification of Model Transformations. Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy |
| 2012 | A Unified Approach for Localizing Non-deadlock Concurrency Bugs. Sangmin Park, Richard W. Vuduc, Mary Jean Harrold |
| 2012 | Adding Criteria-Based Tests to Test Driven Development. William Shelton, Nan Li, Paul Ammann, Jeff Offutt |
| 2012 | An Effective Regression Testing Approach for PHP Web Applications. Aaron Marback, Hyunsook Do, Nathan Ehresmann |
| 2012 | An Empirical Study of Pre-release Software Faults in an Industrial Product Line. Thomas R. Devine, Katerina Goseva-Popstojanova, Sandeep Krishnan, Robyn R. Lutz, J. Jenny Li |
| 2012 | An Extended LLRP Model for RFID System Test and Diagnosis. Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis |
| 2012 | An Integrated Model-Driven Approach for Mechatronic Systems Testing. Roberto Silveira Silva Filho, Christof J. Budnik |
| 2012 | Analysis of Test Clusters for Regression Testing. Bo Guo, Mahadevan Subramaniam, Parvathi Chundi |
| 2012 | Analyzing a Controller of a Power Distribution Unit Using Formal Methods. Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius |
| 2012 | AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro |
| 2012 | AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript. Frolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah |
| 2012 | Automated Performance Model Construction through Event Log Analysis. Ahmad Mizan, Greg Franks |
| 2012 | Automated System Testing Using Visual GUI Testing Tools: A Comparative Study in Industry. Emil Börjesson, Robert Feldt |
| 2012 | Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research. Shahnewaz A. Jolly, Vahid Garousi, Matt M. Eskandar |
| 2012 | Automatic XACML Requests Generation for Policy Testing. Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti |
| 2012 | Behaviourally Adequate Software Testing. Gordon Fraser, Neil Walkinshaw |
| 2012 | Better Algorithms to Minimize the Cost of Test Paths. Nan Li, Fei Li, Jeff Offutt |
| 2012 | Bounded Program Verification Using an SMT Solver: A Case Study. Tianhai Liu, Michael Nagel, Mana Taghdiri |
| 2012 | CARIAL: Cost-Aware Software Reliability Improvement with Active Learning. Boya Sun, Gang Shu, Andy Podgurski, Soumya Ray |
| 2012 | CAST: Automating Software Tests for Embedded Systems. Michael Wahler, Ettore Ferranti, Robin Steiger, Rahul Jain, Kristian Nagy |
| 2012 | CITLAB: A Laboratory for Combinatorial Interaction Testing. Angelo Gargantini, Paolo Vavassori |
| 2012 | Challenges for Addressing Quality Factors in Model Transformation. Eugene Syriani, Jeff Gray |
| 2012 | Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. Elke Salecker, Sabine Glesner |
| 2012 | Combinatorial Methods for Event Sequence Testing. D. Richard Kuhn, James M. Higdon, James Lawrence, Raghu Kacker, Yu Lei |
| 2012 | Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications. Rudolf Ramler, Theodorich Kopetzky, Wolfgang Platz |
| 2012 | Combinatorial Testing of ACTS: A Case Study. Mehra N. Borazjany, Linbin Yu, Yu Lei, Raghu Kacker, Rick Kuhn |
| 2012 | Combinatorial Testing on ID3v2 Tags of MP3 Files. Zhiqiang Zhang, Xiaojian Liu, Jian Zhang |
| 2012 | Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. Olivier Ponsini, Claude Michel, Michel Rueher |
| 2012 | Combining Static Analysis and Constraint Solving for Automatic Test Case Generation. Kostyantyn Vorobyov, Padmanabhan Krishnan |
| 2012 | Common Patterns in Combinatorial Models. Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick |
| 2012 | Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects. Natalia Juristo Juzgado, Sira Vegas, Martín Solari, Silvia Abrahão, Isabel Ramos |
| 2012 | Crawlability Metrics for Web Applications. Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella, Paolo Tonella |
| 2012 | CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications. Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2012 | Dependency-Based Test Case Selection and Prioritization in Embedded Systems. Philipp Caliebe, Thomas Herpel, Reinhard German |
| 2012 | Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? René Just, Gregory M. Kapfhammer, Franz Schweiggert |
| 2012 | Dynamic Backward Slicing of Model Transformations. Zoltán Ujhelyi, Ákos Horváth, Dániel Varró |
| 2012 | Dynamic Shape Analysis Using Spectral Graph Properties. Muhammad Zubair Malik, Sarfraz Khurshid |
| 2012 | Effectiveness of Pair-Wise Testing for Software with Boolean Inputs. William Alton Ballance, Sergiy Vilkomir, William Jenkins |
| 2012 | Empirical Studies on Test Effectiveness for Database Applications. Chixiang Zhou, Phyllis G. Frankl |
| 2012 | Enhancing Fault Localization via Multivariate Visualization. Wes Masri, Rawad Abou Assi, Fadi A. Zaraket, Nour Fatairi |
| 2012 | Evaluating Machine-Independent Metrics for State-Space Exploration. Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov |
| 2012 | Events-Based Security Monitoring Using MMT Tool. Bachar Wehbi, Edgardo Montes de Oca, Michel Bourdellès |
| 2012 | Experimental Comparison of Test Case Generation Methods for Finite State Machines. André Takeshi Endo, Adenilso da Silva Simão |
| 2012 | Fifth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17-21, 2012 Giuliano Antoniol, Antonia Bertolino, Yvan Labiche |
| 2012 | Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs. Paolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman |
| 2012 | Formal Model-Based Test for AUTOSAR Multicore RTOS. Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki |
| 2012 | From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain. Marcus Mews, Jaroslav Svacina, Stephan Weißleder |
| 2012 | GEMS: A Generic Model Based Source Code Instrumentation Framework. Pavan Kumar Chittimalli, Vipul Shah |
| 2012 | GUICOP: Specification-Based GUI Testing. Fadi A. Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie Khamissi, Joseph Noujaim |
| 2012 | Generating Checking Sequences for Nondeterministic Finite State Machines. Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko |
| 2012 | Generating String Test Data for Code Coverage. Michael Beyene, James H. Andrews |
| 2012 | Grammar-Based Testing Using Realistic Domains in PHP. Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet |
| 2012 | Identifying Failure-Inducing Combinations in a Combinatorial Test Set. Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Tao Xie, D. Richard Kuhn, Raghu Kacker |
| 2012 | Incremental Test Case Generation for UML-RT Models Using Symbolic Execution. Eric James Rapos, Jürgen Dingel |
| 2012 | Industrial Applicability of Visual GUI Testing for System and Acceptance Test Automation. Emil Börjesson |
| 2012 | Industrial Application of Concolic Testing on Embedded Software: Case Studies. Moonzoo Kim, Yunho Kim, Yoonkyu Jang |
| 2012 | Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification. Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, D. Richard Kuhn |
| 2012 | Isolating First Order Equivalent Mutants via Second Order Mutation. Marinos Kintis, Mike Papadakis, Nicos Malevris |
| 2012 | It Takes Two to Tango - An Experience Report on Industry - Academia Collaboration. Per Runeson |
| 2012 | Leveraging User-Privilege Classification to Customize Usage-based Statistical Models of Web Applications. Sara Sprenkle, Camille Cobb, Lori L. Pollock |
| 2012 | Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid |
| 2012 | MESSI: Mutant Evaluation by Static Semantic Interpretation. Matthew Patrick, Manuel Oriol, John A. Clark |
| 2012 | Managing Evolution by Orchestrating Requirements and Testing Engineering Processes. Federica Paci, Fabio Massacci, Fabrice Bouquet, Stephane Debricon |
| 2012 | Minimum Pairwise Coverage Using Constraint Programming Techniques. Arnaud Gotlieb, Aymeric Hervieu, Benoit Baudry |
| 2012 | Mitigating the Effect of Coincidental Correctness in Spectrum Based Fault Localization. Aritra Bandyopadhyay |
| 2012 | Model-Based Fuzz Testing. Ina Schieferdecker |
| 2012 | Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code). Pedro Reales Mateo, Macario Polo Usaola |
| 2012 | Numerical Constraints for Combinatorial Interaction Testing. Peter M. Kruse, Jürgen Bauer, Joachim Wegener |
| 2012 | Open Research Challenges of Localizing Faults in Programs Using Constraints. Franz Wotawa |
| 2012 | Overcoming Web Server Benchmarking Challenges in the Multi-core Era. Raoufehsadat Hashemian, Diwakar Krishnamurthy, Martin F. Arlitt |
| 2012 | Peer-to-Peer Load Testing. Jorge Augusto Meira, Eduardo Cunha de Almeida, Yves Le Traon, Gerson Sunyé |
| 2012 | Prioritization of Test Cases Using Software Agents and Fuzzy Logic. Christoph Malz, Nasser Jazdi, Peter Göhner |
| 2012 | Property-Driven Software Engineering Approach. Antinisca Di Marco, Francesca Lonetti, Guglielmo De Angelis |
| 2012 | Random Testing: Evaluation of a Law Describing the Number of Faults Found. Manuel Oriol |
| 2012 | Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and Challenges. Sigrid Eldh, Daniel Sundmark |
| 2012 | SMT-C: A Semantic Mutation Testing Tools for C. Haitao Dan, Robert M. Hierons |
| 2012 | SPaCiTE - Web Application Testing Engine. Matthias Büchler, Johan Oudinet, Alexander Pretschner |
| 2012 | Search-Based Stress Testing of Wireless Network Protocol Stacks. Matthias Woehrle |
| 2012 | Search-Based Test Input Generation for String Data Types Using the Results of Web Queries. Phil McMinn, Muzammil Shahbaz, Mark Stevenson |
| 2012 | Searching the Boundaries of a Modeling Space to Test Metamodels. Juan José Cadavid, Benoit Baudry, Houari A. Sahraoui |
| 2012 | Securing Opensource Code via Static Analysis. Raghudeep Kannavara |
| 2012 | Semantic Mutation Analysis of Floating-Point Comparison. Haitao Dan, Robert M. Hierons |
| 2012 | Semi-automatic Search-Based Test Generation. Yury Pavlov, Gordon Fraser |
| 2012 | Simplified Modeling of Combinatorial Test Spaces. Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick |
| 2012 | Software Behavior and Failure Clustering: An Empirical Study of Fault Causality. Nicholas DiGiuseppe, James A. Jones |
| 2012 | Software Product Line Testing - A 3D Regression Testing Problem. Per Runeson, Emelie Engström |
| 2012 | Solving Some Modeling Challenges when Testing Rich Internet Applications for Security. Suryakant Choudhary, Mustafa Emre Dincturk, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut, Paul Ionescu |
| 2012 | Statechart Analysis with Symbolic PathFinder. Corina S. Pasareanu, Daniel Balasubramanian |
| 2012 | Supporting Test Suite Evolution through Test Case Adaptation. Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè |
| 2012 | Symbolic Execution with Interval Solving and Meta-heuristic Search. Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu |
| 2012 | Symbolic System Time in Distributed Systems Testing. Oscar Soria Dustmann, Raimondas Sasnauskas, Klaus Wehrle |
| 2012 | Technical Debt in Test Automation. Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist |
| 2012 | Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach. Raquel Blanco, Javier Tuya, Rubén V. Seco |
| 2012 | Test Case Prioritization Due to Database Changes in Web Applications. Deepak Garg, Amitava Datta |
| 2012 | Test Sequence Generation from Classification Trees. Peter M. Kruse, Joachim Wegener |
| 2012 | Tester Feedback Driven Fault Localization. Aritra Bandyopadhyay, Sudipto Ghosh |
| 2012 | Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol |
| 2012 | Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, Lionel C. Briand |
| 2012 | Testing Obligation Policy Enforcement Using Mutation Analysis. Yehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon |
| 2012 | Testing of Evolving Protocols. Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki |
| 2012 | The Seed is Strong: Seeding Strategies in Search-Based Software Testing. Gordon Fraser, Andrea Arcuri |
| 2012 | The SmartLogic Tool: Analysing and Testing Smart Card Protocols. Gerhard de Koning Gans, Joeri de Ruiter |
| 2012 | Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing. Vinicius H. S. Durelli, Jeff Offutt, Márcio Eduardo Delamaro |
| 2012 | Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization. Leif Jonsson, David Broman, Kristian Sandahl, Sigrid Eldh |
| 2012 | Towards Practical Debugging for Regression Faults. Kai Yu, Mengxiang Lin |
| 2012 | Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. Bernhard K. Aichernig, Elisabeth Jöbstl |
| 2012 | Towards a Method for Reducing the Test Suites of Database Applications. Gregory M. Kapfhammer |
| 2012 | Towards a Methodology for Verifying Partial Model Refinements. Rick Salay, Marsha Chechik, Jan Gorzny |
| 2012 | Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations. Hanh Nhi Tran, Christian Percebois |
| 2012 | Using Control Charts for Detecting and Understanding Performance Regressions in Large Software. Thanh H. D. Nguyen |
| 2012 | Using Mutants to Locate "Unknown" Faults. Mike Papadakis, Yves Le Traon |
| 2012 | Verified Operational Patterns with Graph Transformation. Tamás Mészáros, Tihamer Levendovszky |
| 2012 | Web Mutation Testing. Upsorn Praphamontripong |
| 2012 | Weighted System Dependence Graph. Fang Deng, James A. Jones |
| 2012 | When a GUI Regression Test Failed, What Should be Blamed? Jin Chen, Mengxiang Lin, Kai Yu, Bing Shao |
| 2012 | X10X: Model Checking a New Programming Language with an "Old" Model Checker. Milos Gligoric, Peter C. Mehlitz, Darko Marinov |
| 2012 | XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier |