759 search results - page 62 / 152 » Test case generator for GUITAR |
155
click to vote
ASWEC
2010
IEEE
15 years 28 days ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
152
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
86
Voted
ESWS
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we build on our methodology for combining and selecting alignment techniques for vocabularies, with two alignment case studies of large vocabularies in two languages....
83
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
DASHlink is a public NASA research collaboration website. Web 2.0 style content generation and social software technologies along with a communitymoderated posting policy make it ...
99
Voted
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...