62 search results - page 1 / 13 » GoldMine: Automatic assertion generation using data mining a... |
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
EDM
2009
13 years 2 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
12 years 4 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...
PLDI
2009
ACM
14 years 5 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
13 years 11 months 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...