Abstract is missing.
- Using semi-supervised clustering to improve regression test selection techniquesSongyu Chen, Zhenyu Chen, Zhihong Zhao, Baowen Xu, Yang Feng. 1-10 [doi]
- Applying aggressive propagation-based strategies for testing changesRaúl A. Santelices, Mary Jean Harrold. 11-20 [doi]
- Regression testing in the presence of non-code changesAgastya Nanda, Senthil Mani, Saurabh Sinha, Mary Jean Harrold, Alessandro Orso. 21-30 [doi]
- Towards a Language and Framework for Penurious TestingColin Atkinson, Florian Barth, Oliver Hummel, Marcus Schumacher. 31-39 [doi]
- Test Coverage of Data-Centric Dynamic Compositions in Service-Based SystemsWaldemar Hummer, Orna Raz, Onn Shehory, Philipp Leitner, Schahram Dustdar. 40-49 [doi]
- Systematic Testing of Database Engines Using a Relational Constraint SolverShadi Abdul Khalek, Sarfraz Khurshid. 50-59 [doi]
- Seed: An Easy-to-Use Random Generator of Recursive Data Structures for TestingPierre-Cyrille Héam, Cyril Nicaud. 60-69 [doi]
- Analysis of Mistakes as a Method to Improve Test Case DesignSigrid Eldh, Hans Hansson, Sasikumar Punnekkat. 70-79 [doi]
- Exploiting Common Object Usage in Test Case GenerationGordon Fraser, Andreas Zeller. 80-89 [doi]
- Assessing Oracle Quality with Checked CoverageDavid Schuler, Andreas Zeller. 90-99 [doi]
- Using Property-Based Oracles when Testing Embedded System ApplicationsTingting Yu, Ahyoung Sung, Witawas Srisa-an, Gregg Rothermel. 100-109 [doi]
- An Empirical Evaluation of Assertions as OraclesKavir Shrestha, Matthew J. Rutherford. 110-119 [doi]
- Efficient Mutation Killers in ActionBernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn. 120-129 [doi]
- Test Generation for X-machines with Non-terminal States and Priorities of OperationsKirill Bogdanov. 130-139 [doi]
- Optimal Test Input Sequence Generation for Finite State Models and Pushdown SystemsAjay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu. 140-149 [doi]
- It is Not the Length That Matters, It is How You Control ItGordon Fraser, Andrea Arcuri. 150-159 [doi]
- An Approach for Search Based Testing of Null Pointer ExceptionsDaniele Romano, Massimiliano Di Penta, Giuliano Antoniol. 160-169 [doi]
- An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time SystemsJoachim Hänsel, Daniela Rose, Paula Herber, Sabine Glesner. 170-179 [doi]
- Runtime Verification of Linux Kernel Modules Based on Call InterceptionVladimir V. Rubanov, Eugene A. Shatokhin. 180-189 [doi]
- Constraint-Based Program Debugging Using Data Structure RepairMuhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid. 190-199 [doi]
- Execution Hijacking: Improving Dynamic Analysis by Flying off CoursePetar Tsankov, Wei Jin, Alessandro Orso, Saurabh Sinha. 200-209 [doi]
- Tailored Shielding and Bypass Testing of Web ApplicationsTejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault. 210-219 [doi]
- Using SQL Hotspots in a Prioritization Heuristic for Detecting All Types of Web Application VulnerabilitiesBen H. Smith, Laurie Williams. 220-229 [doi]
- A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web ApplicationsSara Sprenkle, Lori L. Pollock, Lucy Simko. 230-239 [doi]
- Mutation-Based Test Generation from Security Protocols in HLPSLFrédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam. 240-248 [doi]
- Mutation Testing of Go-Back Functions Based on Pushdown AutomataFevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa. 249-258 [doi]
- Inferential Checking for Mutants Modifying Database StatesChixiang Zhou, Phyllis G. Frankl. 259-268 [doi]
- Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent SystemsAhmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse. 269-278 [doi]
- Conformance Testing from Message Sequence ChartsHaitao Dan, Robert M. Hierons. 279-288 [doi]
- Security Model Evolution of PHP Web ApplicationsDominic Letarte, François Gauthier, Ettore Merlo. 289-298 [doi]
- EFindBugs: Effective Error Ranking for FindBugsHaihao Shen, Jianhong Fang, Jianjun Zhao. 299-308 [doi]
- Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World ApplicationsZhi Da Luo, Raja Das, Yao Qi. 309-318 [doi]
- A Framework for the Automatic Correction of Constraint ProgramsNadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah. 319-326 [doi]
- Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case SelectionHadi Hemmati, Andrea Arcuri, Lionel C. Briand. 327-336 [doi]
- Factors Limiting Industrial Adoption of Test Driven Development: A Systematic ReviewAdnan Causevic, Daniel Sundmark, Sasikumar Punnekkat. 337-346 [doi]
- An Empirical Study on the Relation between Dependency Neighborhoods and FailuresThomas Zimmermann, Nachiappan Nagappan, Kim Herzig, Rahul Premraj, Laurie Williams. 347-356 [doi]
- CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice - Experiences from WindowsJacek Czerwonka, Rajiv Das, Nachiappan Nagappan, Alex Tarvo, Alex Teterev. 357-366 [doi]
- Improving Regression Testing Transparency and Efficiency with History-Based Prioritization - An Industrial Case StudyEmelie Engström, Per Runeson, Andreas Ljung. 367-376 [doi]
- Experiences of System-Level Model-Based GUI Testing of an Android ApplicationTommi Takala, Mika Katara, Julian Harty. 377-386 [doi]
- Model Checking a TTCAN ImplementationDaniel Keating, Allan McInnes, Michael Hayes. 387-396 [doi]
- A Systematic Test Case Generation Approach for Testing Message Length VariabilityKyungmin Go, Sungwon Kang, Myungchul Kim, Jihyun Lee. 397-406 [doi]
- Why are Bug Reports Invalid?Jian Sun. 407-410 [doi]
- Risk-Based Security Testing in Cloud Computing EnvironmentsPhilipp Zech. 411-414 [doi]
- Towards Software Quality and User Satisfaction through User InterfacesPedro Luis Mateo Navarro, Gregorio Martínez Pérez, Diego Sevilla Ruiz. 415-418 [doi]
- Testing Resource Usage in Home Automation SystemsYves Grasland. 419-422 [doi]
- On the Improvement of the Mutation Score Using Distinguishing Test CasesSimona Nica. 423-426 [doi]
- Finding Software Vulnerabilities by Smart FuzzingSofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier. 427-430 [doi]
- Providing a Software Quality Framework for Testing of Mobile ApplicationsDominik Franke, Carsten Weise. 431-434 [doi]
- SoftwareHardware Hybrid Systems VerificationNeelesh Bhattacharya. 435-438 [doi]
- Cost Optimizations in Runtime Testing and Diagnosis of Systems of SystemsAlberto González-Sanchez. 439-442 [doi]
- A Framework to Test Advanced Web Services TransactionsRuben Casado, Javier Tuya, Muhammad Younas. 443-446 [doi]