Sciweavers

881 search results - page 9 / 177
» Continuous testing in eclipse
Sort
View
TAP
2009
Springer
117views Hardware» more  TAP 2009»
15 years 9 months ago
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
Paula Herber, Florian Friedemann, Sabine Glesner
CAV
2007
Springer
123views Hardware» more  CAV 2007»
15 years 9 months ago
Test Coverage for Continuous and Hybrid Systems
Tarik Nahhal, Thao Dang
SODA
2010
ACM
135views Algorithms» more  SODA 2010»
15 years 1 months ago
Testing Monotone Continuous Distributions on High-dimensional Real Cubes
Michal Adamaszek, Artur Czumaj, Christian Sohler
ICSM
2005
IEEE
15 years 8 months ago
Crisp: A Debugging Tool for Java Programs
Crisp is a tool (i.e., an Eclipse plug-in) for constructing intermediate versions of a Java program that is being edited in an IDE such as Eclipse. After a long editing session, a...
Ophelia Chesley, Xiaoxia Ren, Barbara G. Ryder
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
15 years 4 months ago
Testing Metamodels
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
Daniel A. Sadilek, Stephan Weißleder