Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th ICST 2011: Berlin, Germany
- Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, March 21-25, 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4342-0
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 A. 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 A. 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 P. 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 18:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
