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

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

7 ×#testing
3 ×#analysis
3 ×#generative
3 ×#using
3 ×#verification
2 ×#approach
2 ×#automation
2 ×#composition
2 ×#consistency
2 ×#data type

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.