713 search results - page 75 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
107
click to vote
INFSOF
2007
14 years 11 months ago
2007
A set of mutation operators for SQL queries that retrieve information from a database is developed and tested against a set of queries drawn from the NIST SQL Conformance Test Sui...
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
ICOIN
2001
Springer
15 years 4 months ago
2001
Springer
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (D...
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
190
click to vote
CADE
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...