Search Sciweavers | Sciweavers

12745 search results - page 177 / 2549

» Automating test automation

131

Voted

TARK
2009
Springer

247views Automated Reasoning» more TARK 2009»

BMS revisited

15 years 9 months ago

Download www.dagstuhl.de

Guillaume Aucher

claim paper

Read More »

146

click to vote

ICECCS
2002
IEEE

161views Hardware» more ICECCS 2002»

Interclass Testing of Object Oriented Software

15 years 10 months ago

Download www.cc.gatech.edu

The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...

Vincenzo Martena, Alessandro Orso, Mauro Pezz&egra...

claim paper

Read More »

110

Voted

LICS
2002
IEEE

108views Automated Reasoning» more LICS 2002»

Description Logics: Foundations for Class-based Knowledge Representation

15 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

105

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 10 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inman P. de Guzmán, Emili...

claim paper

Read More »

137

Voted

KR
2010
Springer

209views Automated Reasoning» more KR 2010»

Generalized Planning with Loops under Strong Fairness Constraints

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers