Sciweavers

6014 search results - page 294 / 1203
» Structural Testing with Use Cases
Sort
View
DALT
2007
Springer
15 years 6 months ago
Structured Argumentation in a Mediator for Online Dispute Resolution
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
Ioan Alfred Letia, Adrian Groza
CORR
2006
Springer
131views Education» more  CORR 2006»
15 years 4 months ago
A framework of reusable structures for mobile agent development
-- Mobile agents research is clearly aiming towards imposing agent based development as the next generation of tools for writing software. This paper comes with its own contributio...
Tudor Marian, Bogdan Dumitriu, Mihaela Dinsoreanu,...
MST
2011
207views Hardware» more  MST 2011»
14 years 11 months ago
Fixpoint Logics over Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
JCB
2007
97views more  JCB 2007»
15 years 4 months ago
Parsing Nucleic Acid Pseudoknotted Secondary Structure: Algorithm and Applications
Accurate prediction of pseudoknotted nucleic acid secondary structure is an important computational challenge. Prediction algorithms based on dynamic programming aim to find a st...
Baharak Rastegari, Anne Condon
ISSTA
2004
ACM
15 years 10 months ago
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
André Baresel, David Binkley, Mark Harman, ...