781 search results - page 69 / 157 » Automatic Formal Model Generation and Analysis of SDL |
FM
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
CSMR
2008
IEEE
14 years 2 months ago
2008
IEEE
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
FLAIRS
2011
12 years 11 months ago
2011
With an explosion in the proliferation of user-generated content in communities, information overload is increasing and quality of readily available online content is deterioratin...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...