944 search results - page 172 / 189 » Software model checking without source code |
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...
PAMI
2012
11 years 10 months ago
2012
— Context is critical for reducing the uncertainty in object detection. However, context modelling is challenging because there are often many different types of contextual infor...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
A workshop was held at ICSE 2000 in Limerick, Ireland to further efforts in the development of a standard exchange format (SEF) for data extracted from and about source code. WoSE...
ISSRE
2010
IEEE
13 years 6 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
CODES
2008
IEEE
13 years 9 months ago
2008
IEEE
In view of a booming market for microelectronic implants, our ongoing research work is focusing on the specification and design of a novel biomedical microprocessor core targeting...