Sciweavers

3066 search results - page 525 / 614
» On Facilitating Automated Evaluation
Sort
View
SPIN
2010
Springer
13 years 6 months ago
Experimental Comparison of Concolic and Random Testing for Java Card Applets
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
Kari Kähkönen, Roland Kindermann, Keijo ...
SQJ
2010
152views more  SQJ 2010»
13 years 6 months ago
Design pattern evolutions in QVT
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
Jing Dong, Yajing Zhao, Yongtao Sun
XPU
2010
Springer
13 years 6 months ago
Extreme Product Line Engineering - Refactoring for Variability: A Test-Driven Approach
Software product lines - families of similar but not identical software products - need to address the issue of feature variability. That is, a single feature might require various...
Yaser Ghanam, Frank Maurer
ACL
2010
13 years 5 months ago
Bilingual Lexicon Generation Using Non-Aligned Signatures
Bilingual lexicons are fundamental resources. Modern automated lexicon generation methods usually require parallel corpora, which are not available for most language pairs. Lexico...
Daphna Shezaf, Ari Rappoport
ACL
2010
13 years 5 months ago
A New Approach to Improving Multilingual Summarization Using a Genetic Algorithm
Automated summarization methods can be defined as "language-independent," if they are not based on any languagespecific knowledge. Such methods can be used for multiling...
Marina Litvak, Mark Last, Menahem Friedman