Corina Pasareanu und Software - Info zur Person

(1 - 32 von 44

)

K-State researchers honored for influential contributions to software...

www.eurekalert.org

For two Kansas State University professors, receiving one of software engineering's most prestigious awards was more than 10 years in the making.

ISIS Publications | Institute for Software Integrated Systems

www.isis.vanderbilt.edu

Filters: Author is Corina S. Pasareanu [Clear All Filters] ... Components in Polyglot", NASA Formal Methods, vol , Norfolk, VA, Springer,

Marius Greitschus — Software Engineering

swt.informatik.uni-freiburg.de

Springer | dblp ] ... HVC2014, together with Sergiy Bogomolov, Goran Frehse, Radu Grosu, Corina Pasareanu, Andreas Podelski, and Thomas Strump. Winner ...

Saswat Anand

cs.stanford.edu

Mateus Borges, Marcelo d'Amorim, Saswat Anand, David Bushnell, Corina Pasareanu IEEE International Conference on Software Testing, Verification and ...

Corina Pasareanu - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Dissertation: Abstraction and Modular Reasoning for the Verification of Software. Advisor: Matthew Barbour Dwyer. No students known. If you have additional ...

(Model Checking Software) By Pasareanu, Corina S. (Author) Paperback on (08 , 2009)

von Corina S. Pasareanu, Springer, 2009, Taschenbuch

(MODEL CHECKING SOFTWARE) BY Paperback (Author) Paperback Published on (08 , 2009)

von Corina S. Pasareanu, Springer, 2009, Taschenbuch

SPIN Model Checking and Software Verification: 7th International SPIN...

books.google.de

Springer-Verlag, A. Aho, R. Sethi, ... James Corbett, Matthew Dwyer, John Hatcliff, Corina Pasareanu, Robby, Shawn Laubach, and Hongjun Zheng.

Formal Aspects of Component Software: 9th International Symposium, ...books.google.com › books

books.google.de

Revised Selected Papers Corina S Pasareanu, Gwen Salaün DOI Springer Heidelberg Dordrecht London New York ...

Assume-Guarantee Abstraction Refinement in SpaceEx — Software...

swt.informatik.uni-freiburg.de

Corina Mitrohin; Amalinda Post; Martin ... Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina Pasareanu, ... [ springer | dblp | pdf]. Start Footer ...

Marktoberdorf

asimod.informatik.tu-muenchen.de

Corina Pasareanu NASA Ames Research Center, Moffet Field CA USA Talk: Symbolic Execution and Software Testing (abstract / slides) ...

Corina Pasareanu - YouTube

www.youtube.com

Software reliability analysis tackles the problem of predicting the failure probability of software. Most of the current approaches base reliability analysis on ...

asergrp - Symbolic Execution

sites.google.com

Automated Software Engineering Research Group @Illinois

Symbolic Execution and Software Testing Corina Pasareanu Carnegie...

slideplayer.com

Symbolic Execution King [Comm. ACM 1976], Clarke [IEEE TSE 1976] Analysis of programs with unspecified inputs Execute a program on symbolic inputs Symbolic...

Corina Pasareanu - CyLab - Carnegie Mellon Universitywww.cylab.cmu.edu › directory › bios › pasareanu-...

www.cylab.cmu.edu

Corina Pasareanu performs research in software engineering at NASA Ames in the Robust Software Engineering group. She is employed by Carnegie Mellon at the ...

Corina Pasareanu Electrical and Computer Engineering -...

www.ece.cmu.edu

Corina is performing research in software engineering at NASA Ames, in the Robust Software Engineering group. She is employed by Carnegie Mellon University, at ...Es fehlt: linkedin | Muss Folgendes enthalten:linkedin Corina is performing research in software engineering at NASA Ames, in the Robust Software Engineering group. She is employed by Carnegie Mellon University, at ... Es fehlt: linkedin | Muss Folgendes enthalten:linkedin

Internet Archive Search: subject:"Corina Pasareanu"

archive.org

We describe an approach to testing complex safety critical software that combines unit-level symbolic execution and system-level concrete execution for ...

Accepted Papers

etaps.org

European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site

CS 272 Fall Home Page

sites.cs.ucsb.edu

"Assumption Generation for Software Component Generation" Dimitra Giannakopoulou, Corina Pasareanu, Howard Barringer. 17th IEEE International ...

Cristian Cadar: Home Page

www.doc.ic.ac.uk

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser International Conference on Software ...

ISSTA Program Committee

issta2015.cs.uoregon.edu

ISSTA '15: ACM International Symposium on Software Testing and Analysis

Peter C. Dillingerwww.peterd.org

www.peterd.org

Intern with the NASA/Ames Automated Software Engineering group, working on Java PathFinder with Willem Visser, Peter Mehlitz, and Corina Pasareanu.

BYTECODE 2013

costa.fdi.ucm.es

... Software Institute. Corina Pasareanu, CMU/NASA Ames Research Center :30, José Miguel Rojas and Corina Pasareanu Compositional ...

Publications - Software Reliability Group

srg.doc.ic.ac.uk

Research at Software Reliability Group

Peter C. Dillinger

www.peterd.org

Robust Software Engineering group, under Willem Visser, Corina Pasareanu, and Peter Mehlitz. State Matching in Java PathFinder: JPF is an explicit-state ...