1054 search results - page 44 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
As one of the newest members in the field of artificial immune systems (AIS), the Dendritic Cell Algorithm (DCA) is based on behavioural models of natural dendritic cells (DCs). U...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
EACL
2010
ACL Anthology
14 years 10 months ago
2010
ACL Anthology
Abstract. Data-to-text generation systems tend to be knowledge-based and manually built, which limits their reusability and makes them time and cost-intensive to create and maintai...
ENTCS
2007
14 years 9 months ago
2007
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
102
click to vote
GI
2009
Springer
14 years 7 months ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...