432 search results - page 83 / 87 » Automated testing of refactoring engines |
110
click to vote
SEMWEB
2010
Springer
14 years 5 months ago
2010
Springer
The Semantic Web emphasizes encoding over modeling. It is built on the premise that ontology engineers can say something useful about the semantics of vocabularies by expressing th...
SIMULATION
2010
14 years 5 months ago
2010
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...
SIGSOFT
2002
ACM
15 years 11 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
ISSTA
2004
ACM
15 years 4 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...