Research Track Papers

• 
  Songyu Chen, Zhenyu Chen, Zhihong Zhao, Baowen Xu, Yang Feng: Using semi-supervised clustering to improve regression test selection techniques. 1-10
• 
  Raúl A. Santelices, Mary Jean Harrold: Applying aggressive propagation-based strategies for testing changes. 11-20
• 
  Agastya Nanda, Senthil Mani, Saurabh Sinha, Mary Jean Harrold, Alessandro Orso: Regression testing in the presence of non-code changes. 21-30
• 
  Colin Atkinson, Florian Barth, Oliver Hummel, Marcus Schumacher: Towards a Language and Framework for Penurious Testing. 31-39
• 
  Waldemar Hummer, Orna Raz, Onn Shehory, Philipp Leitner, Schahram Dustdar: Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems. 40-49
• 
  Shadi Abdul Khalek, Sarfraz Khurshid: Systematic Testing of Database Engines Using a Relational Constraint Solver. 50-59
• 
  Pierre-Cyrille Héam, Cyril Nicaud: Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing. 60-69
• 
  Sigrid Eldh, Hans Hansson, Sasikumar Punnekkat: Analysis of Mistakes as a Method to Improve Test Case Design. 70-79
• 
  Gordon Fraser, Andreas Zeller: Exploiting Common Object Usage in Test Case Generation. 80-89
• 
  David Schuler, Andreas Zeller: Assessing Oracle Quality with Checked Coverage. 90-99
• 
  Tingting Yu, Ahyoung Sung, Witawas Srisa-an, Gregg Rothermel: Using Property-Based Oracles when Testing Embedded System Applications. 100-109
• 
  Kavir Shrestha, Matthew J. Rutherford: An Empirical Evaluation of Assertions as Oracles. 110-119
• 
  Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn: Efficient Mutation Killers in Action. 120-129
• 
  Kirill Bogdanov: Test Generation for X-machines with Non-terminal States and Priorities of Operations. 130-139
• 
  Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu: Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems. 140-149
• 
  Gordon Fraser, Andrea Arcuri: It is Not the Length That Matters, It is How You Control It. 150-159
• 
  Daniele Romano, Massimiliano Di Penta, Giuliano Antoniol: An Approach for Search Based Testing of Null Pointer Exceptions. 160-169
• 
  Joachim Hänsel, Daniela Rose, Paula Herber, Sabine Glesner: An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. 170-179
• 
  Vladimir V. Rubanov, Eugene A. Shatokhin: Runtime Verification of Linux Kernel Modules Based on Call Interception. 180-189
• 
  Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid: Constraint-Based Program Debugging Using Data Structure Repair. 190-199
• 
  Petar Tsankov, Wei Jin, Alessandro Orso, Saurabh Sinha: Execution Hijacking: Improving Dynamic Analysis by Flying off Course. 200-209
• 
  Tejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault: Tailored Shielding and Bypass Testing of Web Applications. 210-219
• 
  Ben H. Smith, Laurie Williams: Using SQL Hotspots in a Prioritization Heuristic for Detecting All Types of Web Application Vulnerabilities. 220-229
• 
  Sara Sprenkle, Lori L. Pollock, Lucy Simko: A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications. 230-239
• 
  Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam: Mutation-Based Test Generation from Security Protocols in HLPSL. 240-248
• 
  Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa: Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. 249-258
• 
  Chixiang Zhou, Phyllis G. Frankl: Inferential Checking for Mutants Modifying Database States. 259-268
• 
  Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse: Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. 269-278
• 
  Haitao Dan, Robert M. Hierons: Conformance Testing from Message Sequence Charts. 279-288
• 
  Dominic Letarte, François Gauthier, Ettore Merlo: Security Model Evolution of PHP Web Applications. 289-298
• 
  Haihao Shen, Jianhong Fang, Jianjun Zhao: EFindBugs: Effective Error Ranking for FindBugs. 299-308
• 
  Zhi Da Luo, Raja Das, Yao Qi: Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications. 309-318
• 
  Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah: A Framework for the Automatic Correction of Constraint Programs. 319-326
• 
  Hadi Hemmati, Andrea Arcuri, Lionel C. Briand: Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection. 327-336
• 
  Adnan Causevic, Daniel Sundmark, Sasikumar Punnekkat: Factors Limiting Industrial Adoption of Test Driven Development: A Systematic Review. 337-346

Industry Track Papers

• 
  Thomas Zimmermann, Nachiappan Nagappan, Kim Herzig, Rahul Premraj, Laurie Williams: An Empirical Study on the Relation between Dependency Neighborhoods and Failures. 347-356
• 
  Jacek Czerwonka, Rajiv Das, Nachiappan Nagappan, Alex Tarvo, Alex Teterev: CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice - Experiences from Windows. 357-366
• 
  Emelie Engström, Per Runeson, Andreas Ljung: Improving Regression Testing Transparency and Efficiency with History-Based Prioritization - An Industrial Case Study. 367-376
• 
  Tommi Takala, Mika Katara, Julian Harty: Experiences of System-Level Model-Based GUI Testing of an Android Application. 377-386
• 
  Daniel Keating, Allan McInnes, Michael Hayes: Model Checking a TTCAN Implementation. 387-396
• 
  Kyungmin Go, Sungwon Kang, Myungchul Kim, Jihyun Lee: A Systematic Test Case Generation Approach for Testing Message Length Variability. 397-406
• 
  Jian Sun: Why are Bug Reports Invalid? 407-410

PhD Symposium Track Papers

• 
  Philipp Zech: Risk-Based Security Testing in Cloud Computing Environments. 411-414
• 
  Pedro Luis Mateo Navarro, Gregorio Martínez Pérez, Diego Sevilla Ruiz: Towards Software Quality and User Satisfaction through User Interfaces. 415-418
• 
  Yves Grasland: Testing Resource Usage in Home Automation Systems. 419-422
• 
  Simona Nica: On the Improvement of the Mutation Score Using Distinguishing Test Cases. 423-426
• 
  Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier: Finding Software Vulnerabilities by Smart Fuzzing. 427-430
• 
  Dominik Franke, Carsten Weise: Providing a Software Quality Framework for Testing of Mobile Applications. 431-434
• 
  Neelesh Bhattacharya: SoftwareHardware Hybrid Systems Verification. 435-438
• 
  Alberto González-Sanchez: Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems. 439-442
• 
  Ruben Casado, Javier Tuya, Muhammad Younas: A Framework to Test Advanced Web Services Transactions. 443-446

last updated on Sat May 18 05:09:01 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page