Proceedings of the Second 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 Second International Conference on Software Testing Verification and Validation
ICST, 2009.

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

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.

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.