A benchmark- and competition-based approach to software engineering research

Authors:
Derek Bronish;Jason Kirschenbaum;Aditi Tagore
Affiliations:
The Ohio State University, Columbus, OH, USA;The Ohio State University, Columbus, OH, USA;The Ohio State University, Columbus, OH, USA
Venue:
Proceedings of the FSE/SDP workshop on Future of software engineering research
Year:
2010

Citing 7
Cited 0

The state of CASC

AI Communications
Editorial for Journal of Field Robotics—Special Issue on the DARPA Grand Challenge: Editorial

Journal of Robotic Systems - Special Issue on the DARPA Grand Challenge, Part 2
Incremental Benchmarks for Software Verification Tools and Techniques

VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Asserting and checking determinism for multithreaded programs

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Static data race detection for concurrent programs with asynchronous calls

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
The TPTP Problem Library and Associated Infrastructure

Journal of Automated Reasoning
SMT-COMP: satisfiability modulo theories competition

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many fields of study within computer science have benefited from the adoption of community-wide benchmarks and competitions. Software engineering has yet to fully embrace this approach. Case studies of existing uses of these techniques are presented, and a hypothetical application to software engineering based on research presented in last year's FSE are elaborated.