Proceedings of the Third International Conference on Software Testing, Verification and Validation
ICST, 2010.

@proceedings{ICST-2010,
	address       = "Paris, France",
	ee            = "http://www.computer.org/csdl/proceedings/icst/2010/3990/00/index.html",
	isbn          = "978-0-7695-3990-4",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Third International Conference on Software Testing, Verification and Validation}",
	year          = 2010,
}

Contents (59 items)

36 ×#testing
11 ×#automation
8 ×#modelling
6 ×#generative
6 ×#named
4 ×#towards
4 ×#user interface
3 ×#approach
3 ×#debugging
3 ×#execution

ICST-2010-Laurent #concept #formal method #process #testing #using #validation #verification

Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process (OL), pp. 1–10.

ICST-2010-Copeland #framework #testing

Google’s Innovation Factory: Testing, Culture, and Infrastructure (PC), pp. 11–14.

ICST-2010-AsztalosLL #automation #model transformation #towards #verification

Towards Automated, Formal Verification of Model Transformations (MA, LL, TL), pp. 15–24.

ICST-2010-HeiskanenJK #debugging #modelling #testing #user interface

Debug Support for Model-Based GUI Testing (HH, AJ, MK), pp. 25–34.

ICST-2010-SeguraHBR #analysis #approach #automation #feature model #generative #modelling #testing

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach (SS, RMH, DB, ARC), pp. 35–44.

ICST-2010-SchulerZ

(Un-)Covering Equivalent Mutants (DS, AZ), pp. 45–54.

ICST-2010-GligoricJM #mutation testing #named #parallel #performance #testing #thread

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code (MG, VJ, DM), pp. 55–64.

ICST-2010-DebroyW #automation #source code #using

Using Mutation to Automatically Suggest Fixes for Faulty Programs (VD, WEW), pp. 65–74.

ICST-2010-EngstromRW #empirical #evaluation #recommendation #testing

An Empirical Evaluation of Regression Testing Based on Fix-Cache Recommendations (EE, PR, GW), pp. 75–78.

ICST-2010-NagahawatteD #effectiveness #fault #testing

The Effectiveness of Regression Testing Techniques in Reducing the Occurrence of Residual Defects (PN, HD), pp. 79–88.

ICST-2010-NaslavskyZR #modelling #named #testing #traceability

MbSRT2: Model-Based Selective Regression Testing with Traceability (LN, HZ, DJR), pp. 89–98.

ICST-2010-FeliachiG #automation #generative #modelling #testing

Generating Transition Probabilities for Automatic Model-Based Test Generation (AF, HLG), pp. 99–102.

ICST-2010-GrassoFFBB #abstract interpretation #modelling #testing

Model Based Testing and Abstract Interpretation in the Railway Signaling Context (DG, AF, AF, CB, SB), pp. 103–106.

ICST-2010-PorresR #contract #nondeterminism #protocol #uml

From Nondeterministic UML Protocol Statemachines to Class Contracts (IP, IR), pp. 107–116.

ICST-2010-Weissleder #state machine #test coverage #uml

Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.

ICST-2010-RoestMD #ajax #testing

Regression Testing Ajax Applications: Coping with Dynamism (DR, AM, AvD), pp. 127–136.

ICST-2010-JinOX #automation #behaviour #testing

Automated Behavioral Regression Testing (WJ, AO, TX), pp. 137–146.

ICST-2010-YanCZZZ #clustering #execution

A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information (SY, ZC, ZZ, CZ, YZ), pp. 147–154.

ICST-2010-SinhaSP #automation #case study #named #natural language

Text2Test: Automated Inspection of Natural Language Use Cases (AS, SMSJ, AMP), pp. 155–164.

ICST-2010-MasriA #correctness #testing

Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization (WM, RAA), pp. 165–174.

ICST-2010-VosBLKWW #automation #industrial #testing

Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool (TEJV, AIB, FFL, PMK, AW, JW), pp. 175–184.

ICST-2010-BaresiLM #approach #java #named

TestFul: An Evolutionary Test Approach for Java (LB, PLL, MM), pp. 185–194.

ICST-2010-NguyenWR #graph #named

GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns (MDN, HW, NR), pp. 195–204.

ICST-2010-Arcuri #branch #distance #how #matter #testing

It Does Matter How You Normalise the Branch Distance in Search Based Software Testing (AA), pp. 205–214.

ICST-2010-DelahayeBG

Explanation-Based Generalization of Infeasible Path (MD, BB, AG), pp. 215–224.

ICST-2010-FeldtTAR #challenge #industrial #process #validation #verification

Challenges with Software Verification and Validation Activities in the Space Industry (RF, RT, EA, BR), pp. 225–234.

ICST-2010-BertoliniMAF #evaluation #testing #user interface

GUI Testing Techniques Evaluation by Designed Experiments (CB, AM, EA, CF), pp. 235–244.

ICST-2010-HuangCM #algorithm #search-based #testing #user interface #using

Repairing GUI Test Suites Using a Genetic Algorithm (SH, MBC, AMM), pp. 245–254.

ICST-2010-SinnigKC #formal method #functional #generative #testing #user interface

A Formal Model for Generating Integrated Functional and User Interface Test Cases (DS, FK, PC), pp. 255–264.

ICST-2010-XuD #testing

Prioritizing State-Based Aspect Tests (DX, JD), pp. 265–274.

ICST-2010-SilvaJA #cost analysis #execution #machine learning #symmetry #testing

Machine Learning Methods and Asymmetric Cost Function to Estimate Execution Effort of Software Testing (DGeS, MJ, BTdA), pp. 275–284.

ICST-2010-SyedRW #fault #hardware #question

Does Hardware Configuration and Processor Load Impact Software Fault Observability? (RAS, BR, LAW), pp. 285–294.

ICST-2010-Bubevski #assessment #risk management #simulation #testing

An Application of Six Sigma and Simulation in Software Testing Risk Assessment (VB), pp. 295–302.

ICST-2010-WeiGMO

Satisfying Test Preconditions through Guided Object Selection (YW, SG, BM, MO), pp. 303–312.

ICST-2010-WeyukerBO #debugging #question #what

We’re Finding Most of the Bugs, but What are We Missing? (EJW, RMB, TJO), pp. 313–322.

ICST-2010-Rahimi #model transformation #specification #uml

Specification of UML Model Transformations (SKR), pp. 323–326.

ICST-2010-Mlynarski #information management #modelling #testing

Holistic Model-Based Testing for Business Information Systems (MM), pp. 327–330.

ICST-2010-Vega #adaptation #automation #information management #testing #towards

Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems (DEV), pp. 331–334.

ICST-2010-Panesar-WalawegeSBC #concept #modelling #safety #standard

Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard (RKPW, MS, LCB, TC), pp. 335–344.

ICST-2010-BruckerBKW #generative #policy #testing

Verified Firewall Policy Transformations for Test Case Generation (ADB, LB, PK, BW), pp. 345–354.

ICST-2010-Kasurinen #process #testing

Elaborating Software Test Processes and Strategies (JK), pp. 355–358.

ICST-2010-Slatten #modelling

Model-Driven Engineering of Dependable Systems (VS), pp. 359–362.

ICST-2010-CaoFCB #framework #online #testing #web #web service

Online Testing Framework for Web Services (TDC, PF, RC, IB), pp. 363–372.

ICST-2010-AngelisPA #approach #testing

A Counter-Example Testing Approach for Orchestrated Services (FDA, AP, GDA), pp. 373–382.

ICST-2010-KimSGSHN #analysis #automation #debugging #identification

Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes (MK, SS, CG, HS, MJH, MGN), pp. 383–392.

ICST-2010-CausevicSP #aspect-oriented #industrial #overview #testing

An Industrial Survey on Contemporary Aspects of Software Testing (AC, DS, SP), pp. 393–401.

ICST-2010-BelliLBS #detection #fault #sequence #testing

Fault Detection Likelihood of Test Sequence Length (FB, ML, CJB, HAS), pp. 402–411.

ICST-2010-EldhBSHP #automation #scalability #towards

Towards Fully Automated Test Management for Large Complex Systems (SE, JB, MS, HH, SP), pp. 412–420.

ICST-2010-ZimmermannNW #predict #security

Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista (TZ, NN, LAW), pp. 421–428.

ICST-2010-SantelicesHO #detection #evolution #interactive #runtime

Precisely Detecting Runtime Change Interactions for Evolving Software (RAS, MJH, AO), pp. 429–438.

ICST-2010-PavlovicE #diagrams #model checking

Model Checking PLC Software Written in Function Block Diagram (OP, HDE), pp. 439–448.

ICST-2010-LodingP #automaton #generative #model checking #testing

Timed Moore Automata: Test Data Generation and Model Checking (HL, JP), pp. 449–458.

ICST-2010-PerrouinSKBT #automation #generative #product line #scalability #testing

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines (GP, SS, JK, BB, YLT), pp. 459–468.

ICST-2010-Arcuri10a #sequence #testing

Longer is Better: On the Role of Test Sequence Length in Software Testing (AA), pp. 469–478.

ICST-2010-JobstlWAW #consistency #execution #smt #symbolic computation #testing

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (EJ, MW, BKA, FW), pp. 479–488.

ICST-2010-MadaniPP #case study #testing #towards

Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller (LM, VP, IP), pp. 489–497.

ICST-2010-VeanesHT #named #regular expression

Rex: Symbolic Regular Expression Explorer (MV, PdH, NT), pp. 498–507.

ICST-2010-Irfan #state machine #testing

State Machine Inference in Testing Context with Long Counterexamples (MNI), pp. 508–511.

ICST-2010-Engstrom #product line #testing

Regression Test Selection and Product Line System Testing (EE), pp. 512–515.