2019 search results - page 263 / 404 » Programming with Shared Data Abstractions |
113
click to vote
ISSRE
2007
IEEE
15 years 4 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
104
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
d Abstract) Dario Colazzo1 , Giorgio Ghelli2 , Paolo Manghi2 , and Carlo Sartiani2 1 LRI - Universit?e Paris Sud 2 Dipartimento di Informatica - Universit`a di Pisa If a subexpress...
150
click to vote
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
126
click to vote
ICSE
2009
IEEE-ACM
15 years 9 months ago
2009
IEEE-ACM
When programmers develop or maintain software, they instinctively sense that there are fragments of code that other developers implemented somewhere, and these code fragments coul...
122
click to vote
SEKE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...