50 search results - page 5 / 10 » jMoped: A Test Environment for Java Programs |
ICSE
1999
IEEE-ACM
15 years 1 months ago
1999
IEEE-ACM
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved. When a software product is...
80
Voted
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
81
Voted
ML
2008
ACM
14 years 9 months ago
2008
ACM
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...
ECLIPSE
2007
ACM
15 years 1 months ago
2007
ACM
We present a declarative and visual debugging environment for Eclipse called JIVE.1 Traditional debugging is procedural in that a programmer must proceed step-by-step and objectby...
62
Voted
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...