Proceedings of the Third International Conference on Software Testing, Verification and Validation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

TEST
DBLP
Scholar
CSDL
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.