In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
Mario Friske, Bernd-Holger Schlingloff, Stephan We...
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
I briefly describe a system for automatically creating an implemented grammar of a natural language based on answers to a web-based questionnaire, then present a grammar of Sahapt...
Background: Finding over- or under-represented motifs in biological sequences is now a common task in genomics. Thanks to p-value calculation for motif counts, exceptional motifs ...