1
0
0
(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 ...
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 ...
Software Engineering Academic Genealogy - Tao Xietaoxie.cs.illinois.edu › sefamily
taoxie.cs.illinois.edu
Robert J. Chansler, Jr. (Tartan Laboratories, Adobe, Impresse, McDATA, Yahoo, LinkedIn, Marin Software) ... |___ Corina Pasareanu (NASA Ames)
Software | Verified Software
veris-cylab.github.io
Website for VeriS Group at CyLab, Carnegie Mellon University
String Analysis for Side Channels with Segmented Oracles | UCSB...
cs.ucsb.edu
Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina Pasareanu, Tevfik Bultan. Date: :00:00. Abstract. A crucial problem in software security is ...
International Symposium on Software Testing and Analysis...
research.cs.vt.edu
International Symposium on Software Testing and Analysis
Alle Infos zum Namen "Corina Pasareanu"
Verwandte Suchanfragen zu Corina Pasareanu
Kasper Luckow |
Personen Vorname "Corina" (4345) Name "Pasareanu" (1) |
sortiert nach Relevanz / Datum