Proceedings of the 17th International Symposium on Software Testing and Analysis
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

Barbara G. Ryder, Andreas Zeller
Proceedings of the 17th International Symposium on Software Testing and Analysis
ISSTA, 2008.

TEST
DBLP
Scholar
Full names Links ISxN
@proceedings{ISSTA-2008,
	address       = "Seattle, Washington, USA",
	editor        = "Barbara G. Ryder and Andreas Zeller",
	isbn          = "978-1-60558-050-0",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 17th International Symposium on Software Testing and Analysis}",
	year          = 2008,
}

Contents (28 items)

ISSTA-2008-Larus #testing
The real value of testing (JRL), pp. 1–2.
ISSTA-2008-BeckmanNRS #proving #testing
Proofs from tests (NEB, AVN, SKR, RJS), pp. 3–14.
ISSTA-2008-PasareanuMBGLPP #execution #symbolic computation #testing
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (CSP, PCM, DHB, KGB, MRL, SP, MP), pp. 15–26.
ISSTA-2008-XuGM #abstraction #testing
Testing for buffer overflows with length abstraction (RGX, PG, RM), pp. 27–38.
ISSTA-2008-ElkarabliehMK #constraints #performance
Efficient solving of structural constraints (BE, DM, SK), pp. 39–50.
ISSTA-2008-DoR #analysis #modelling #testing #using
Using sensitivity analysis to create simplified economic models for regression testing (HD, GR), pp. 51–62.
ISSTA-2008-YoonSMP #effectiveness #scalability #testing
Effective and scalable software compatibility testing (ICY, AS, AMM, AAP), pp. 63–74.
ISSTA-2008-QuCR #empirical #testing
Configuration-aware regression testing: an empirical study of sampling and prioritization (XQ, MBC, GR), pp. 75–86.
ISSTA-2008-PachecoLB #dot-net #fault #random testing #testing
Finding errors in .net with feedback-directed random testing (CP, SKL, TB), pp. 87–96.
ISSTA-2008-DorLLSW #enterprise #impact analysis #slicing
Customization change impact analysis for erp professionals via program slicing (ND, TLA, SL, MS, DW), pp. 97–108.
ISSTA-2008-KondohO #debugging #interface #java #source code
Finding bugs in java native interface programs (GK, TO), pp. 109–118.
ISSTA-2008-Liblit #debugging #testing
Cooperative debugging with five hundred million test cases (BL), pp. 119–120.
ISSTA-2008-BuseW #metric #readability
A metric for software readability (RPLB, WW), pp. 121–130.
ISSTA-2008-LinckeLL #metric #tool support
Comparing software metrics tools (RL, JL, WL), pp. 131–142.
ISSTA-2008-TianNGT #concurrent #detection #recognition
Dynamic recognition of synchronization operations for improved data race detection (CT, VN, RG, ST), pp. 143–154.
ISSTA-2008-BoddenH #aspectj #concurrent #detection #effectiveness #named #using
Racer: effective race detection using aspectj (EB, KH), pp. 155–166.
ISSTA-2008-JeffreyGG #fault #locality #using
Fault localization using value replacement (DJ, NG, RG), pp. 167–178.
ISSTA-2008-EdwardsTWVD #automation #fault #identification #named
AFID: an automated fault identification tool (AE, ST, SW, RV, BD), pp. 179–188.
ISSTA-2008-BaahPH #dependence #fault #graph #probability
The probabilistic program dependence graph and its application to fault diagnosis (GKB, AP, MJH), pp. 189–200.
ISSTA-2008-PapiACPE #java
Practical pluggable types for java (MMP, MA, TLCJ, JHP, MDE), pp. 201–212.
ISSTA-2008-LoginovYCFRN #analysis #safety #verification
Verifying dereference safety via expanding-scope analysis (AL, EY, SC, SF, NR, MGN), pp. 213–224.
ISSTA-2008-XuR #analysis #points-to #scalability
Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis (G(X, AR), pp. 225–236.
ISSTA-2008-BalzarottiBCFKRVV #security #testing
Are your votes really counted?: testing the security of real-world electronic voting systems (DB, GB, MC, VF, RAK, WKR, FV, GV), pp. 237–248.
ISSTA-2008-WassermannYCDIS #generative #web
Dynamic test input generation for web applications (GW, DY, AC, DD, HI, ZS), pp. 249–260.
ISSTA-2008-ArtziKDTDPE #debugging #web
Finding bugs in dynamic web applications (SA, AK, JD, FT, DD, AMP, MDE), pp. 261–272.
ISSTA-2008-BuseW08a #automation #documentation #exception
Automatic documentation inference for exceptions (RPLB, WW), pp. 273–282.
ISSTA-2008-KannanS #data type #execution #generative #invariant #symbolic computation
Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.
ISSTA-2008-SankaranarayananCIG #learning
Dynamic inference of likely data preconditions over predicates by tree learning (SS, SC, FI, AG), pp. 295–306.

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.