Extracting structured data from natural language documents with island parsing (English)
ASE, 476-479 (2011).
1
Dynamic synthesis of program invariants using genetic programming (English)
IEEE Congress on Evolutionary Computation, 624-631 (2011).
2
io-port 05847390 Metzger, Andreas;
Benbernou, Salima;
Carro, Manuel;
Driss, Maha;
Kecskemeti, Gabor;
Kazhamiakin, Raman;
Krytikos, Kyriakos;
Mocci, Andrea;
Di Nitto, Elisabetta;
Wetzstein, Branimir;
Silvestri, Fabrizio
Analytical quality assurance. (English)
Papazoglou, Mike P. (ed.) et al., Service research challenges and solutions for the future internet. S-Cube ‒ towards engineering, managing and adapting service-based systems. Berlin: Springer (ISBN 978-3-642-17598-5/pbk). Lecture Notes in Computer Science 6500, 209-270 (2010).
3
Automatic cross validation of multiple specifications: A case study. (English)
Rosenblum, David S. (ed.) et al., Fundamental approaches to software engineering. 13th international conference, FASE 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12028-2/pbk). Lecture Notes in Computer Science 6013, 233-247 (2010).
4
Automatic cross validation of multiple specifications: A case study (English)
FASE, 233-247 (2010).
6
Synthesizing intensional behavior models by graph transformation (English)
ICSE, 430-440 (2009).
7
Using graph transformation systems to specify and verify data abstractions (English)
ECEASST 10 (2008).
8
Efficient recovery of algebraic specifications for stateful components (English)
IWPSE, 98-105 (2007).
9
Start
Contact
Print
General Help
