62 search results - page 1 / 13 » GoldMine: Automatic assertion generation using data mining a... |
DATE
2010
IEEE
14 years 10 months ago
2010
IEEE
EDM
2009
14 years 3 months ago
2009
This paper describes a novel method to create a quantitative model of an educational content domain of related practice item-types using learning curves. By using a pairwise test t...
CPP
2011
13 years 5 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
147
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
KBSE
2008
IEEE
15 years 3 days ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...