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

TEST
DBLP
Scholar
CSDL
Full names Links ISxN
@proceedings{ICST-2011,
	address       = "Berlin, Germany",
	ee            = "http://www.computer.org/csdl/proceedings/icst/2011/4342/00/index.html",
	isbn          = "978-0-7695-4342-0",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Fourth IEEE International Conference on Software Testing, Verification and Validation}",
	year          = 2011,
}

Event page: http://sites.google.com/site/icst2011/

Contents (51 items)

ICST-2011-ChenCZXF #clustering #testing #using
Using semi-supervised clustering to improve regression test selection techniques (SC, ZC, ZZ, BX, YF), pp. 1–10.
ICST-2011-SantelicesH #testing
Applying aggressive propagation-based strategies for testing changes (RAS, MJH), pp. 11–20.
ICST-2011-NandaMSHO #testing
Regression testing in the presence of non-code changes (AN, SM, SS, MJH, AO), pp. 21–30.
ICST-2011-AtkinsonBHS #framework #testing #towards
Towards a Language and Framework for Penurious Testing (CA, FB, OH, MS), pp. 31–39.
ICST-2011-HummerRSLD #composition #test coverage
Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems (WH, OR, OS, PL, SD), pp. 40–49.
ICST-2011-KhalekK #constraints #database #relational #testing #theorem proving #using
Systematic Testing of Database Engines Using a Relational Constraint Solver (SAK, SK), pp. 50–59.
ICST-2011-HeamN #data type #generative #named #random #recursion #testing
Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing (PCH, CN), pp. 60–69.
ICST-2011-EldhHP #analysis #design #testing
Analysis of Mistakes as a Method to Improve Test Case Design (SE, HH, SP), pp. 70–79.
ICST-2011-FraserZ #generative #testing
Exploiting Common Object Usage in Test Case Generation (GF, AZ), pp. 80–89.
ICST-2011-SchulerZ #quality
Assessing Oracle Quality with Checked Coverage (DS, AZ), pp. 90–99.
ICST-2011-YuSSR #embedded #testing #using
Using Property-Based Oracles when Testing Embedded System Applications (TY, AS, WSa, GR), pp. 100–109.
ICST-2011-ShresthaR #empirical #evaluation
An Empirical Evaluation of Assertions as Oracles (KS, MJR), pp. 110–119.
ICST-2011-AichernigBJK #performance
Efficient Mutation Killers in Action (BKA, HB, EJ, WK), pp. 120–129.
ICST-2011-Bogdanov #generative #testing
Test Generation for X-machines with Non-terminal States and Priorities of Operations (KB), pp. 130–139.
ICST-2011-ChanderDSY #automaton #finite #generative #modelling #sequence
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
ICST-2011-FraserA #how #matter
It is Not the Length That Matters, It is How You Control It (GF, AA), pp. 150–159.
ICST-2011-RomanoPA #approach #exception #null #pointer #testing
An Approach for Search Based Testing of Null Pointer Exceptions (DR, MDP, GA), pp. 160–169.
ICST-2011-HanselRHG #algorithm #embedded #generative #realtime
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems (JH, DR, PH, SG), pp. 170–179.
ICST-2011-RubanovS #kernel #linux #runtime #verification
Runtime Verification of Linux Kernel Modules Based on Call Interception (VVR, EAS), pp. 180–189.
ICST-2011-MalikSK #constraints #data type #debugging #using
Constraint-Based Program Debugging Using Data Structure Repair (MZM, JHS, SK), pp. 190–199.
ICST-2011-TsankovJOS #dynamic analysis #execution
Execution Hijacking: Improving Dynamic Analysis by Flying off Course (PT, WJ, AO, SS), pp. 200–209.
ICST-2011-MouelhiTABG #testing #web
Tailored Shielding and Bypass Testing of Web Applications (TM, YLT, EA, BB, SG), pp. 210–219.
ICST-2011-SmithW #detection #heuristic #sql #using #web
Using SQL Hotspots in a Prioritization Heuristic for Detecting All Types of Web Application Vulnerabilities (BHS, LW), pp. 220–229.
ICST-2011-SprenklePS #case study #modelling #navigation #testing #web
A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications (SS, LLP, LS), pp. 230–239.
ICST-2011-DadeauHK #generative #protocol #security #testing
Mutation-Based Test Generation from Security Protocols in HLPSL (FD, PCH, RK), pp. 240–248.
ICST-2011-BelliBTF #automaton #mutation testing #testing
Mutation Testing of “Go-Back” Functions Based on Pushdown Automata (FB, MB, TT, ZF), pp. 249–258.
ICST-2011-ZhouF #database
Inferential Checking for Mutants Modifying Database States (CZ, PGF), pp. 259–268.
ICST-2011-SaifanDBP #consistency #implementation #mobile #runtime
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems (AAS, JD, JSB, EP), pp. 269–278.
ICST-2011-DanH #consistency #sequence chart #testing
Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.
ICST-2011-LetarteGM #evolution #php #security #web
Security Model Evolution of PHP Web Applications (DL, FG, EM), pp. 289–298.
ICST-2011-ShenFZ #effectiveness #fault #named #ranking
EFindBugs: Effective Error Ranking for FindBugs (HS, JF, JZ), pp. 299–308.
ICST-2011-LuoDQ #concurrent #detection #manycore #performance
Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications (ZDL, RD, YQ), pp. 309–318.
ICST-2011-LazaarGL #automation #constraints #framework #source code
A Framework for the Automatic Correction of Constraint Programs (NL, AG, YL), pp. 319–326.
ICST-2011-HemmatiAB #empirical #similarity #testing
Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection (HH, AA, LCB), pp. 327–336.
ICST-2011-CausevicSP #development #industrial #overview #perspective
Factors Limiting Industrial Adoption of Test Driven Development: A Systematic Review (AC, DS, SP), pp. 337–346.
ICST-2011-ZimmermannNHPW #dependence #empirical
An Empirical Study on the Relation between Dependency Neighborhoods and Failures (TZ, NN, KH, RP, LW), pp. 347–356.
ICST-2011-CzerwonkaDNTT #analysis #case study #experience #named #predict
CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice — Experiences from Windows (JC, RD, NN, AT, AT), pp. 357–366.
ICST-2011-EngstromRL #case study #industrial #performance #testing
Improving Regression Testing Transparency and Efficiency with History-Based Prioritization — An Industrial Case Study (EE, PR, AL), pp. 367–376.
ICST-2011-TakalaKH #android #case study #experience #modelling #testing #user interface
Experiences of System-Level Model-Based GUI Testing of an Android Application (TT, MK, JH), pp. 377–386.
ICST-2011-KeatingMH #implementation #model checking
Model Checking a TTCAN Implementation (DK, AM, MPH), pp. 387–396.
ICST-2011-GoKKL #approach #generative #testing #variability
A Systematic Test Case Generation Approach for Testing Message Length Variability (KG, SK, MK, JL), pp. 397–406.
ICST-2011-Sun #debugging #question #why
Why are Bug Reports Invalid? (JS), pp. 407–410.
ICST-2011-Zech #in the cloud #security #testing
Risk-Based Security Testing in Cloud Computing Environments (PZ), pp. 411–414.
ICST-2011-NavarroPR #quality #towards #user interface #user satisfaction
Towards Software Quality and User Satisfaction through User Interfaces (PLMN, GMP, DSR), pp. 415–418.
ICST-2011-Grasland #automation #resource management #testing
Testing Resource Usage in Home Automation Systems (YG), pp. 419–422.
ICST-2011-Nica #on the #testing #using
On the Improvement of the Mutation Score Using Distinguishing Test Cases (SN), pp. 423–426.
ICST-2011-BekrarBGM #fuzzing
Finding Software Vulnerabilities by Smart Fuzzing (SB, CB, RG, LM), pp. 427–430.
ICST-2011-FrankeW #framework #mobile #quality #testing
Providing a Software Quality Framework for Testing of Mobile Applications (DF, CW), pp. 431–434.
ICST-2011-Bhattacharya #hybrid #verification
SoftwareHardware Hybrid Systems Verification (NB), pp. 435–438.
ICST-2011-Gonzalez-Sanchez #optimisation #runtime #testing
Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems (AGS), pp. 439–442.
ICST-2011-CasadoTY #framework #transaction #web #web service
A Framework to Test Advanced Web Services Transactions (RC, JT, MY), pp. 443–446.

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.