1011 search results - page 86 / 203 » Exception Analysis for Java |
123
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
118
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Abstract—Phylogenetic networks are a generalization of phylogenetic trees that allow for the representation of non-treelike evolutionary events, like recombination, hybridization...
111
click to vote
JAR
2006
15 years 2 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
105
click to vote
NIME
2004
Springer
15 years 7 months ago
2004
Springer
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
118
Voted
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...