Sciweavers

3316 search results - page 505 / 664
» Mining Software Engineering Data
Sort
View
140
Voted
FASE
2008
Springer
15 years 3 months ago
Regular Inference for State Machines Using Domains with Equality Tests
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
Therese Berg, Bengt Jonsson, Harald Raffelt
IESA
2007
15 years 3 months ago
The Interoperability of Information and its Representation in New Media: A Case Study of a Global Content Provider
This paper focuses on the construct of interoperability of web-based information applications, commonly known as ‘mashups’, reporting a case study of a global content provider...
J. Mariategui, J. Kallinikos
106
Voted
ISSRE
2007
IEEE
15 years 3 months ago
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
AVI
2010
15 years 3 months ago
Setting the bar for set-valued attributes
In this paper, we present an interactive visualization method for set-valued attributes that maintains the advantages of item-oriented views and interactions found in parallel mul...
Kent Wittenburg
VAMOS
2010
Springer
15 years 3 months ago
Using Collaborations to Encapsulate Features? An Explorative Study
A feature is a program characteristic visible to an end-user. Current research strives to encapsulate the implementation of a feature in a module. Jak is a language extension to Ja...
Martin Kuhlemann, Norbert Siegmund, Sven Apel