Proceedings of the Second International Conference on Software Testing Verification and Validation
ICST, 2009.

@proceedings{ICST-2009,
	address       = "Denver, Colorado, USA",
	ee            = "http://www.computer.org/csdl/proceedings/icst/2009/3601/00/index.html",
	isbn          = "978-0-7695-3601-9",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Second International Conference on Software Testing Verification and Validation}",
	year          = 2009,
}

Contents (47 items)

31 ×#testing
7 ×#generative
6 ×#automation
6 ×#using
5 ×#fault
4 ×#approach
3 ×#framework
3 ×#functional
3 ×#java
3 ×#modelling

ICST-2009-FuGX #testing #user interface

Inferring Types of References to GUI Objects in Test Scripts (CF, MG, QX), pp. 1–10.

ICST-2009-BrooksRM #industrial #user interface #visual notation

An Initial Characterization of Industrial Graphical User Interface Systems (PAB, BPR, AMM), pp. 11–20.

ICST-2009-BertoliniPdM #automation #black box #empirical #evaluation #testing #user interface

An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs (CB, GP, Md, AM), pp. 21–30.

ICST-2009-PostS #bound #equivalence #functional #implementation #model checking #proving #using

Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking (HP, CS), pp. 31–40.

ICST-2009-FraserG #evaluation #generative #model checking #specification #testing

An Evaluation of Model Checkers for Specification Based Test Case Generation (GF, AG), pp. 41–50.

ICST-2009-GligoricGLMK #generative #graph #java #optimisation

Optimizing Generation of Object Graphs in Java PathFinder (MG, TG, SL, DM, SK), pp. 51–60.

ICST-2009-DavidLLN #testing

Timed Testing under Partial Observability (AD, KGL, SL, BN), pp. 61–70.

ICST-2009-AndresMN #probability #testing

Passive Testing of Stochastic Timed Systems (CA, MGM, MN), pp. 71–80.

ICST-2009-GrossmannSS #embedded #realtime #testing

Testing Embedded Real Time Systems with TTCN-3 (JG, DAS, IS), pp. 81–90.

ICST-2009-ChangRV #resource management #testing

Optimal Resource Allocation for Batch Testing (FC, JR, RV), pp. 91–100.

ICST-2009-NodlerNG #assurance #flexibility #framework #java #quality #specification #uml

A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications (JN, HN, JG), pp. 101–110.

ICST-2009-MurphyKVC #approach #assurance #quality #testing #using

Quality Assurance of Software Applications Using the In Vivo Testing Approach (CM, GEK, IV, MC), pp. 111–120.

ICST-2009-BandyopadhyayG #generative #modelling #sequence #state machine #uml #using

Test Input Generation Using UML Sequence and State Machines Models (AB, SG), pp. 121–130.

ICST-2009-AydalPUW #modelling #specification #testing #validation

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation (EGA, RFP, MU, JW), pp. 131–140.

ICST-2009-WedyanAB #automation #detection #effectiveness #fault #predict #refactoring #static analysis #tool support

The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction (FW, DA, JMB), pp. 141–150.

ICST-2009-Gotlieb #c #constraints #framework #named #source code #testing

Euclide: A Constraint-Based Testing Framework for Critical C Programs (AG), pp. 151–160.

ICST-2009-HeckmanW #identification #process #static analysis

A Model Building Process for Identifying Actionable Static Analysis Alerts (SSH, LAW), pp. 161–170.

ICST-2009-MouelhiTB #functional #policy #security #testing

Transforming and Selecting Functional Test Cases for Security Policy Testing (TM, YLT, BB), pp. 171–180.

ICST-2009-GegickRW #component #predict

Predicting Attack-prone Components (MG, PR, LAW), pp. 181–190.

ICST-2009-JohM #process

Seasonal Variation in the Vulnerability Discovery Process (HJ, YKM), pp. 191–200.

ICST-2009-KarhuRTS #automation #empirical #testing

Empirical Observations on Software Testing Automation (KK, TR, OT, KS), pp. 201–209.

ICST-2009-WaliaC #fault #modelling

Evaluating the Effect of the Number of Naturally Occurring Faults on the Estimates Produced by Capture-Recapture Models (GSW, JCC), pp. 210–219.

ICST-2009-KoochakzadehGM #lessons learnt #metric

Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned (NK, VG, FM), pp. 220–229.

ICST-2009-KalajiHS #finite #generative #state machine #testing

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) (ASK, RMH, SS), pp. 230–239.

ICST-2009-BardinH #generative #testing

Pruning the Search Space in Path-Based Test Generation (SB, PH), pp. 240–249.

ICST-2009-SiddiquiK #generative #named #parallel #testing

PKorat: Parallel Generation of Structurally Complex Test Inputs (JHS, SK), pp. 250–259.

ICST-2009-Chowdhary #testing

Practicing Testability in the Real World (VC), pp. 260–268.

ICST-2009-RogozF #multi #performance

A Test Based Multidimensional Performance Model for a Mission Critical System Server (KR, KF), pp. 269–278.

ICST-2009-AlmeidaAM #approach #case study #estimation

An Alternative Approach to Test Effort Estimation Based on Use Cases (ERCdA, BTdA, RLdOM), pp. 279–288.

ICST-2009-SilvaAJ #approach #estimation #execution #functional #testing

A Simple Approach for Estimation of Execution Effort of Functional Test Cases (DGeS, BTdA, MJ), pp. 289–298.

ICST-2009-WikstrandFGZW #testing

Dynamic Regression Test Selection Based on a File Cache (GW, RF, JKG, WZ, CW), pp. 299–302.

ICST-2009-AngelettiGNPS #analysis #automation #generative #testing

Automatic Test Generation for Coverage Analysis of ERTMS Software (DA, EG, MN, AP, SS), pp. 303–306.

ICST-2009-TanNM #automation #black box #library #parallel #programming #testing

Automated Black Box Testing Tool for a Parallel Programming Library (RPT, PN, SM), pp. 307–316.

ICST-2009-MathewS #as a service #automation #framework #platform #testing

Test Automation on a SaaS Platform (RM, RS), pp. 317–325.

ICST-2009-BartoliniBMP #named #testing #web #web service

WS-TAXI: A WSDL-based Testing Tool for Web Services (CB, AB, EM, AP), pp. 326–335.

ICST-2009-LuoPC #clustering #testing #web

Clustering and Tailoring User Session Data for Testing Web Applications (XL, FP, MHC), pp. 336–345.

ICST-2009-HalfondCO #identification #testing

Penetration Testing with Improved Input Vector Identification (WGJH, SRC, AO), pp. 346–355.

ICST-2009-KaminskiA #detection #fault #logic #testing #using

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection (GKK, PA), pp. 356–365.

ICST-2009-SteimannB #fault #multi

A Simple Coverage-Based Locator for Multiple Faults (FS, MB), pp. 366–375.

ICST-2009-DelamareBGT #approach #aspect-oriented #aspectj #testing

A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ (RD, BB, SG, YLT), pp. 376–385.

ICST-2009-KaminskiA09a #fault #logic #mutation testing #performance #testing #using

Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing (GKK, PA), pp. 386–395.

ICST-2009-ZhouF #database #java #mutation testing #testing

Mutation Testing for Java Database Applications (CZ, PGF), pp. 396–405.

ICST-2009-HillTES #component #distributed #non-functional #testing

Unit Testing Non-functional Concerns of Component-based Distributed Systems (JHH, HAT, JRE, DCS), pp. 406–415.

ICST-2009-LeitnerPMMO #effectiveness #on the

On the Effectiveness of Test Extraction without Overhead (AL, AP, SM, BM, MO), pp. 416–425.

ICST-2009-KorelZT #source code #validation

Assertion-Based Validation of Modified Programs (BK, QZ, LT), pp. 426–435.

ICST-2009-MurphySK #ml #runtime #testing #using

Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles (CM, KS, GEK), pp. 436–445.

ICST-2009-WolovickDQ #execution #optimisation #realtime #testing

Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.