3031 search results - page 82 / 607 » Model Driven Testing Based on Test History |
89
Voted
DSN
2000
IEEE
15 years 5 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
111
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
126
click to vote
WETICE
2005
IEEE
15 years 6 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
111
Voted
ISSTA
2000
ACM
15 years 5 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
ICML
2003
IEEE
16 years 1 months ago
2003
IEEE
This paper addresses the problem of classification in situations where the data distribution is not homogeneous: Data instances might come from different locations or times, and t...