Sciweavers

1310 search results - page 107 / 262
» On a Class of Traceability Codes
Sort
View
GECCO
2006
Springer
148views Optimization» more  GECCO 2006»
14 years 1 months ago
A specification-based fitness function for evolutionary testing of object-oriented programs
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...
Yoonsik Cheon, Myoung Kim
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
13 years 11 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
ICCV
2011
IEEE
12 years 10 months ago
Fisher Discrimination Dictionary Learning for Sparse Representation
Sparse representation based classification has led to interesting image recognition results, while the dictionary used for sparse coding plays a key role in it. This paper present...
Meng Yang, Lei Zhang, Xiangchu Feng, David Zhang
HASKELL
2006
ACM
14 years 4 months ago
Polymorphic variants in Haskell
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
Koji Kagawa
TSE
2008
92views more  TSE 2008»
13 years 10 months ago
Metrics for Measuring the Quality of Modularization of Large-Scale Object-Oriented Software
The metrics formulated to date for characterizing the modularization quality of object-oriented software have considered module and class to be synonymous concepts. But, a typical ...
Santonu Sarkar, Avinash C. Kak, Girish Maskeri Ram...