Sciweavers

1689 search results - page 155 / 338
» Empirical Methodologies in Software Engineering
Sort
View
RE
2009
Springer
15 years 8 months ago
Semantic Criteria for Choosing a Language for Big-Step Models
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. At...
ISPW
2006
IEEE
15 years 8 months ago
Project Replayer - An Investigation Tool to Revisit Processes of Past Projects
In order to help knowledge acquirement and accumulation from past experiences, we propose a KFC (Knowledge Feedback Cycle) framework among engineers and researchers. Three tools (E...
Keita Goto, Noriko Hanakawa, Hajimu Iida
GECCO
2005
Springer
113views Optimization» more  GECCO 2005»
15 years 7 months ago
Search-based mutation testing for Simulink models
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
Yuan Zhan, John A. Clark
138
Voted
INFSOF
2008
85views more  INFSOF 2008»
15 years 1 months ago
Locating dependence structures using search-based slicing
This paper introduces an approach to locating dependence structures in a program by searching the space of the powerset of the set of all possible program slices. The paper formul...
Tao Jiang, Nicolas Gold, Mark Harman, Zheng Li
SIGSOFT
2010
ACM
14 years 11 months ago
LINKSTER: enabling efficient manual inspection and annotation of mined data
While many uses of mined software engineering data are automatic in nature, some techniques and studies either require, or can be improved, by manual methods. Unfortunately, manua...
Christian Bird, Adrian Bachmann, Foyzur Rahman, Ab...