4919 search results - page 622 / 984 » A Process-Ontological Model for Software Engineering |
242
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
159
click to vote
ISSTA
1998
ACM
15 years 9 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
173
click to vote
CODES
1996
IEEE
15 years 9 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
124
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
161
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...