BibSLEIGH — Proceedings of the Fourth IEEE International Conference on Software Testing, Verification and Validation

Proceedings of the Fourth IEEE International Conference on Software Testing, Verification and Validation
ICST, 2011.

TEST

@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.

Proceedings of the Fourth IEEE International Conference on Software Testing, Verification and ValidationICST, 2011.

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

Contents (51 items)

Proceedings of the Fourth IEEE International Conference on Software Testing, Verification and Validation
ICST, 2011.