794 search results - page 60 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
APSEC
2001
IEEE
14 years 19 days ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
AOSD
2004
ACM
14 years 2 months ago
2004
ACM
This paper presents our extension to AspectJ for distributed computing. Although AspectJ allows Java developers to modularize a crosscutting concern as an aspect, this paper shows...
ECOOP
2008
Springer
13 years 10 months ago
2008
Springer
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...
CORR
2010
Springer
13 years 9 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 ...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...