944 search results - page 49 / 189 » Software model checking without source code |
ECIS
2003
13 years 9 months ago
2003
The issue of software patents is widely discussed in Europe today. The standard economic rationale for patents is to protect potential innovators from imitation, which ultimately ...
FIDJI
2003
Springer
14 years 29 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
ISSRE
2007
IEEE
13 years 9 months ago
2007
IEEE
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
This paper focuses on an emerging model for software development in higher education: community source. Community source seeks to blend aspects of both open source and traditional...
NIPS
2007
13 years 9 months ago
2007
Large repositories of source code create new challenges and opportunities for statistical machine learning. Here we first develop Sourcerer, an infrastructure for the automated c...