Titlebook: Search Based Software Engineering; 5th International Sy Günther Ruhe,Yuanyuan Zhang Conference proceedings 2013 Springer-Verlag Berlin Heid

STELL

Restenosis

Cursory

coagulation

易弯曲

Model Refactoring Using Interactive Genetic Algorithmsimilarity between the analyzed design model and models from a base of examples, and the designers’ ratings of the refactorings proposed during execution of the classic GA. Experimentation with the approach yielded interesting and promising results.

theta-waves

Orgasm

Regression Testing for Model Transformations: A Multi-objective Approachrefactorings as well as test case model elements that have become invalid due to the new changes. Validation results on a widely used transformation mechanism confirm the effectiveness of our approach.

无效

es with this testing approach that falsifies wrong hypothesis models learned by other techniques. This entails that testing guided by learned automata can be a useful method for finding adversarial inputs, that is, inputs incorrectly classified due to improper generalization.

ostrish

他一致

Xin Yaost precision as well as a state-of-the-art approach for each application. Our evaluation reveals that coarser precisions work better for proof detection, while finer precisions perform better in alarm detection. Moreover, reusing a predicate precision in value analysis can be beneficial in cooperati