share record
persistent URL:
Ravindra Metta : Verifying Code and Its Optimizations: An Experience Report. ICST Workshops 2011 : 578-583 export record
dblp key:
conf/icst/MitschingWFKB11 share record
persistent URL:
Ralf Mitsching , Carsten Weise , Frank Fiedler , Stefan Kowalewski , Henrik C. Bohnenkamp : TripleT: Improving Test Responsiveness for High Performance Embedded Systems. ICST Workshops 2011 : 67-74 share record
persistent URL:
Alessandro Murgia , Michele Marchesi , Giulio Concas , Roberto Tonelli , Steve Counsell : Parameter-Based Refactoring and the Relationship with Fan-in/Fan-out Coupling. ICST Workshops 2011 : 430-436 share record
persistent URL:
Jaechang Nam , David Schuler , Andreas Zeller : Calibrated Mutation Testing. ICST Workshops 2011 : 376-381 share record
persistent URL:
Arilo Claudio Dias Neto , Rosiane de Freitas Rodrigues , Guilherme Horta Travassos : Porantim-Opt: Optimizing the Combined Selection of Model-Based Testing Techniques. ICST Workshops 2011 : 174-183 share record
persistent URL:
Omer Nguena-Timo , Antoine Rollet : Test Selection for Data-Flow Reactive Systems Based on Observations. ICST Workshops 2011 : 1-8 share record
persistent URL:
Duy Cu Nguyen , Alessandro Marchetto , Paolo Tonella : Challenges in Audit Testing of Web Services. ICST Workshops 2011 : 103-106 share record
persistent URL:
Duy Cu Nguyen , Alessandro Marchetto , Paolo Tonella : Change Sensitivity Based Prioritization for Audit Testing of Webservice Compositions. ICST Workshops 2011 : 357-365 share record
persistent URL:
Alex Orso : Automated Debugging: Are We There Yet? ICST Workshops 2011 : 596 share record
persistent URL:
Tuomas Pajunen , Tommi Takala , Mika Katara : Model-Based Testing with a General Purpose Keyword-Driven Test Automation Framework. ICST Workshops 2011 : 242-251 export record
dblp key:
conf/icst/PalczynskiWKU11 share record
persistent URL:
Jacob Palczynski , Carsten Weise , Stefan Kowalewski , Daniel Ulmer : Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check. ICST Workshops 2011 : 590-595 share record
persistent URL:
Bernhard Peischl , Franz Wotawa : An Abstract Operational Framework for Dependence Models in Software Debugging. ICST Workshops 2011 : 597-606 share record
persistent URL:
Simon M. Poulding , John A. Clark , Hélène Waeselynck : A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing. ICST Workshops 2011 : 184-193 share record
persistent URL:
Sanjay Rawat , Laurent Mounier : Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results. ICST Workshops 2011 : 531-533 share record
persistent URL:
Heinz Riener , Roderick Bloem , Görschwin Fey : Test Case Generation from Mutants Using Model Checking Techniques. ICST Workshops 2011 : 388-397 share record
persistent URL:
Brian Robinson , Xiao Qu : Customer-Oriented Regression Testing: An Initial Discussion. ICST Workshops 2011 : 107-110 share record
persistent URL:
Jeremias Rößler , Alessandro Orso , Andreas Zeller : When Does My Program Fail? ICST Workshops 2011 : 328-333 share record
persistent URL:
Michael Ruth : Employing Privacy-Preserving Techniques to Protect Control-Flow Graphs in a Decentralized, End-to-End Regression Test Selection Framework for Web Services. ICST Workshops 2011 : 139-148 share record
persistent URL:
Carsten Rütz , Julien Schmaltz : An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON. ICST Workshops 2011 : 39-46 share record
persistent URL:
Elke Salecker , Robert Reicherdt , Sabine Glesner : Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. ICST Workshops 2011 : 278-285 share record
persistent URL:
Birgit Schwarz , David Schuler , Andreas Zeller : Breeding High-Impact Mutations. ICST Workshops 2011 : 382-387 export record
dblp key:
conf/icst/StefanescuILT11 share record
persistent URL:
Alin Stefanescu , Florentin Ipate , Raluca Lefticaru , Cristina Tudose : Towards Search-Based Testing for Event-B Models. ICST Workshops 2011 : 194-197 share record
persistent URL:
Benjamin Stopford : Test-Oriented Languages: Is it Time for a New Era? ICST Workshops 2011 : 444-449 share record
persistent URL:
Thomas Thüm , Ina Schaefer , Martin Kuhlemann , Sven Apel : Proof Composition for Deductive Verification of Software Product Lines. ICST Workshops 2011 : 270-277 share record
persistent URL:
Cong Tian , Shaoying Liu , Shin Nakajima : Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. ICST Workshops 2011 : 304-309 share record
persistent URL:
Christoph Torens , Lars Ebrecht , Karsten Lemmer : Inverse Model Based Testing - Generating Behavior Models from Abstract Test Cases. ICST Workshops 2011 : 75-78 share record
persistent URL:
Sven Türpe : Search-Based Application Security Testing: Towards a Structured Search Space. ICST Workshops 2011 : 198-201 share record
persistent URL:
Bartosz Walter , Pawel Martenka : Looking for Patterns in Code Bad Smells Relations. ICST Workshops 2011 : 465-466 share record
persistent URL:
Stephan Weißleder , Thomas Rogenhofer : Simulated Restriction of Coverage Criteria on UML State Machines. ICST Workshops 2011 : 34-38 share record
persistent URL:
Marc-Florian Wendland , Ina Schieferdecker , Alain Vouffo-Feudjio : Requirements-Driven Testing with Behavior Trees. ICST Workshops 2011 : 501-510