4. ICST 2011:
Berlin,
Germany
IEEE Fourth International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, 21-25 March 2011.
IEEE Computer Society 2011 
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
Last update Fri May 25 08:21:31 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
