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

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

10 ×#testing
4 ×#fault
3 ×#analysis
3 ×#debugging
3 ×#using
2 ×#automation
2 ×#concurrent
2 ×#detection
2 ×#effectiveness
2 ×#execution

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.