Sciweavers

881 search results - page 9 / 177
» Continuous testing in eclipse
Sort
View
TAP
2009
Springer
117views Hardware» more  TAP 2009»
15 years 4 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 3 months ago
Test Coverage for Continuous and Hybrid Systems
Tarik Nahhal, Thao Dang
SODA
2010
ACM
135views Algorithms» more  SODA 2010»
14 years 8 months ago
Testing Monotone Continuous Distributions on High-dimensional Real Cubes
Michal Adamaszek, Artur Czumaj, Christian Sohler
ICSM
2005
IEEE
15 years 3 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»
14 years 11 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