Proceedings of the 15th 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

Lori L. Pollock, Mauro Pezzè
Proceedings of the 15th International Symposium on Software Testing and Analysis
ISSTA, 2006.

TEST
DBLP
Scholar
Full names Links ISxN
@proceedings{ISSTA-2006,
	address       = "Portland, Maine, USA",
	editor        = "Lori L. Pollock and Mauro Pezzè",
	isbn          = "1-59593-263-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 15th International Symposium on Software Testing and Analysis}",
	year          = 2006,
}

Contents (23 items)

ISSTA-2006-WalcottSKR #testing
TimeAware test suite prioritization (KRW, MLS, GMK, RSR), pp. 1–12.
ISSTA-2006-McMinnHBT #approach #generative #testing
The species per path approach to SearchBased test data generation (PM, MH, DB, PT), pp. 13–24.
ISSTA-2006-WhalenRHM #metric #testing
Coverage metrics for requirements-based testing (MWW, AR, MPEH, SPM), pp. 25–36.
ISSTA-2006-VisserPP #generative #java #using
Test input generation for java containers using state matching (WV, CSP, RP), pp. 37–48.
ISSTA-2006-RuthruffER #paradigm #program analysis
Experimental program analysis: a new program analysis paradigm (JRR, SGE, GR), pp. 49–60.
ISSTA-2006-BellOW #debugging
Looking for bugs in all the right places (RMB, TJO, EJW), pp. 61–72.
ISSTA-2006-Wagner #analysis #detection #quality
A model and sensitivity analysis of the quality economics of defect-detection techniques (SW0), pp. 73–84.
ISSTA-2006-Hamlet #testing
Subdomain testing of units and systems with state (DH), pp. 85–96.
ISSTA-2006-CobleighAC #composition #reasoning
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (JMC, GSA, LAC), pp. 97–108.
ISSTA-2006-DennisCJ #composition #satisfiability #verification
Modular verification of code with SAT (GD, FSHC, DJ), pp. 109–120.
ISSTA-2006-CentonzeNFP #consistency #data access #validation
Role-Based access control consistency validation (PC, GN, SJF, MP), pp. 121–132.
ISSTA-2006-FinkYDRG #alias #effectiveness #type system #verification
Effective typestate verification in the presence of aliasing (SJF, EY, ND, GR, EG), pp. 133–144.
ISSTA-2006-YorshBS #abstraction #exclamation #proving #testing #theorem proving
Testing, abstraction, theorem proving: better together! (GY, TB, MS), pp. 145–156.
ISSTA-2006-SiegelMAC #execution #model checking #parallel #source code #symbolic computation #using #verification
Using model checking with symbolic execution to verify parallel numerical programs (SFS, AM, GSA, LAC), pp. 157–168.
ISSTA-2006-BoshernitsanDS #challenge #developer #testing
From daikon to agitator: lessons and challenges in building a commercial tool for developer testing (MB, RKD, AS), pp. 169–180.
ISSTA-2006-KiviluomaKM #architecture #aspect-oriented #behaviour #monitoring #runtime #using
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects (KK, JK, TM), pp. 181–190.
ISSTA-2006-ZhangKPWJMZ #analysis
The case for analysis preserving language transformation (XZ, LK, MP, SW, TJ, GM, LZ), pp. 191–202.
ISSTA-2006-TkachukR #automation #generative
Application of automated environment generation to commercial software (OT, SPR), pp. 203–214.
ISSTA-2006-SevcikovaBSB #approach #automation #probability #statistics #testing
Automated testing of stochastic systems: a statistically grounded approach (HS, AB, DS, WGB), pp. 215–224.
ISSTA-2006-LenceviciusM #mobile #performance
Performance assertions for mobile devices (RL, EM), pp. 225–232.
ISSTA-2006-DemskyEGMPR #consistency #data type #specification
Inference and enforcement of data structure consistency specifications (BD, MDE, PJG, SM, JHP, MCR), pp. 233–244.
ISSTA-2006-CsallnerS #analysis #debugging #hybrid #named
DSD-Crasher: a hybrid analysis tool for bug finding (CC, YS), pp. 245–254.
ISSTA-2006-GuoPME #data type
Dynamic inference of abstract types (PJG, JHP, SM, MDE), pp. 255–265.

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.