Thomas Gorges

According to our database, Thomas Gorges authored at least 6 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Bridging the gap between test cases and requirements by abstract testing.

Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf

Innov. Syst. Softw. Eng., 2015

2013

Predicting the Flow of Defect Correction Effort using a Bayesian Network Model.

Thomas Schulz, Lukasz Radlinski, Thomas Gorges, Wolfgang Rosenstiel

Empir. Softw. Eng., 2013

2010

Abstract Testing: Connecting Source Code Verification with Requirements.

Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf

Proceedings of the Quality of Information and Communications Technology, 2010

Defect cost flow model: a Bayesian network for predicting defect correction effort.

Thomas Schulz, Lukasz Radlinski, Thomas Gorges, Wolfgang Rosenstiel

Proceedings of the 6th International Conference on Predictive Models in Software Engineering, 2010

2009

Linking Functional Requirements and Software Verification.

Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

2008

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking.

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008