596 search results - page 42 / 120 » Case Studies as Assessment Tools in Software Engineering Cla... |
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
While recent attempts to search a conceptual software engineering design search space with multi-objective evolutionary algorithms have yielded promising results, the practical ap...
ERLANG
2006
ACM
14 years 4 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Recently, tools for the analysis and visualization of code coverage have become widely available. At first glance, their value in assessing and improving the quality of automated ...
SIGSOFT
2006
ACM
14 years 10 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...