1210 search results - page 64 / 242 » Formal Techniques for Java Programs |
124
click to vote
OOPSLA
2010
Springer
15 years 10 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
142
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
121
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
114
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
132
click to vote
OOPSLA
2001
Springer
15 years 6 months ago
2001
Springer
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...