Sciweavers

2441 search results - page 258 / 489
» Engineering a Tool to Detect Automatically Generated Papers
Sort
View
VAMOS
2009
Springer
15 years 11 months ago
Some Challenges of Feature-based Merging of Class Diagrams
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
Germain Saval, Jorge Pinna Puissant, Patrick Heyma...
149
Voted
ICCS
2001
Springer
15 years 9 months ago
Cyclic Debugging Using Execution Replay
This paper presents a tool that enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs. The solution consists of a combination of ...
Michiel Ronsse, Mark Christiaens, Koenraad De Boss...
DSN
2000
IEEE
15 years 9 months ago
From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach
This paper presents a generic methodology to transform a protocol resilient to process crashes into one resilient to arbitrary failures in the case where processes run the same te...
Roberto Baldoni, Jean-Michel Hélary, Michel...
SIGSOFT
2000
ACM
15 years 9 months ago
Automated systematic testing for constraint-based interactive services
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, ...
154
Voted
CSMR
2009
IEEE
15 years 9 months ago
Discovering Comprehension Pitfalls in Class Hierarchies
Despite many advances in program comprehension, polymorphism and inheritance are still the cause of many misunderstandings in object-oriented code. In this paper, we present a sui...
Petru Florin Mihancea, Radu Marinescu