5766 search results - page 349 / 1154 » Reverse Engineering of Data |
172
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
There are various models in software engineering that are used to predict quality-related aspects of the process or artefacts. The use of these models involves elaborate data coll...
165
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
191
click to vote
ACL
2009
15 years 4 months ago
2009
This paper presents a system for querying treebanks. The system consists of a powerful query language with natural support for cross-layer queries, a client interface with a graph...
189
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
141
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a technique that leverages an existing regression test-selection algorithm to compute accurate, updated coverage data on a version of the software, Pi+1, witho...