526 search results - page 8 / 106 » Programming in JoCaml (Tool Demonstration) |
IEE
2010
13 years 6 months ago
2010
Popular code coverage measures, such as branch coverage, are indicators of the thoroughness rather than the fault detection capability of test suites. Mutation testing is a fault-...
IADIS
2003
13 years 8 months ago
2003
A visual simulator has been developed as an example of Web-based education tool, which is designed for students to understand graphically internal behavior and structure of comput...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Tools that perform refactoring are currently under-utilized by programmers. As more advanced refactoring tools are designed, a great chasm widens between how the tools must be use...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
KBSE
2010
IEEE
13 years 5 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...