Thomas Gorges

	2010
4		Thomas Schulz, Lukasz Radlinski, Thomas Gorges, Wolfgang Rosenstiel: Defect cost flow model: a Bayesian network for predicting defect correction effort. PROMISE 2010: 16
3		Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf: Abstract Testing: Connecting Source Code Verification with Requirements. QUATIC 2010: 89-96
	2009
2		Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf: Linking Functional Requirements and Software Verification. RE 2009: 295-302
	2008
1		Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges: Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. ASE 2008: 188-197

Coauthor Index

1	Alexander Kaiser	[1]
2	Thomas Kropf	[2] [3]
3	Florian Merz	[2] [3]
4	Hendrik Post	[1] [2] [3]
5	Lukasz Radlinski	[4]
6	Wolfgang Rosenstiel	[4]
7	Thomas Schulz	[4]
8	Carsten Sinz	[1] [2] [3]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page