1
0
0
(1 - 40 von 54
)
Workshop Software-Reengineering, Bad Honnef, Mai 1999
userpages.uni-koblenz.de
Jens Krinke, Torsten Robschink (Universität Passau) Kombination von Slicing mit Constraint-Solving für Software Reengineering (Kaffeepause) 16:00-16:30
ENCRESSFriedrich-Alexander-Universität Erlangen-Nürnberg
www11.informatik.uni-erlangen.de
Torsten Robschink, Jens Krinke Universität Passau "Redundanzarme Generierung von Pfadbedingungen in der Software-Sicherheitstechnik"
plume-bib/slicing.bib at masterGitHub
github.com
... author = {Gregor Snelting and Torsten Robschink and Jens Krinke}, title = {Efficient Path Conditions in Dependence Graphs for Software Safety Analysis}, ...
[PDF] Yesterday. my program worked. Today, it does not. Why?www.cs.columbia.edu › ~junfeng › sched › readings › delta-debug-1
www.cs.columbia.edu
The first delta debugging prototype was implemented by Ulrike Heuer. Jens Krinke, Christian Lindig, Kerstin Reese, Torsten Robschink, Gregor Snelting, and.
Yong-Fong Lee | Intel | 3 Publications | 139 CitationsTypeset.io
typeset.io
Gregor Snelting 1, Torsten Robschink 1, Jens Krinke 1• Institutions (1). University of Passau Sep ACM Transactions on Software Engineering and ...
From Formal Semantics to Verified Slicing: A Modular ...google.com
books.google.com
... Torsten Robschink, and Jens Krinke. Efficient Path Conditions in Dependence Graphs for Software Safety Analysis. ACM Transactions on Software Engineering ...
From Formal Semantics to Verified Slicing: A Modular ...google.de
books.google.de
[109] Gregor Snelting, Torsten Robschink, and Jens Krinke. Efficient Path Conditions in Dependence Graphs for Software Safety Analysis.
Software Engineering - ESEC/FSE '99: 7th European Software ...google.de
books.google.de
Jens Krinke, Christian Lindig, Kerstin Reese, Torsten Robschink, Gregor Snelting, and Paul Strooper provided valuable comments on earlier revisions of this ...
Full text of "Software engineering--ESEC/FSE '99Internet Archive
archive.org
Jens Krinke, Christian Lindig, Kerstin Reese, Torsten Robschink, Gregor Snelting, and Paul Strooper provided valuable comments on earlier revisions of this ...
A Dynamic Analysis with Static Source Code ...unhas.ac.id
digilib.unhas.ac.id
von AW Paundu · — [SRK06]. Gregor Snelting, Torsten Robschink, and Jens Krinke. Ef- ficient path conditions in dependence graphs for software safety analysis. ACM ...
Analysis Techniques for Software Maintenance - RiuNetupv.es
riunet.upv.es
von S Pérez Rubio · — [183] Gregor Snelting, Torsten Robschink, and Jens Krinke. “Efficient Path. Conditions in Dependence Graphs for Software Safety Analysis”. In: ACM Trans.
Contributions à la génération de tests à base de contraintesHAL Thèses
theses.hal.science
von A Gotlieb · — Gregor Snelting, Torsten Robschink & Jens Krinke. Efficient path conditions in dependence graphs for soft- ware safety analysis. ACM Trans.
JBLIF, a Tool for Non-interference Analysis of Java and ...unlp.edu.ar
sedici.unlp.edu.ar
von SV Cavadini · — [14] Gregor Snelting, Torsten Robschink, and Jens Krinke. Efficient path conditions in dependence graphs for software safety analysis. 15(4):410–457, ...
Activities - IPD Snelting - KITIPD Snelting
pp.info.uni-karlsruhe.de
Dr. Jens Krinke (2003; jetzt: King's College London); Dr. Torsten Robschink (2005; jetzt: SD&M); Dr. Mirko Streckenbach (2005; jetzt: SD&M) ...
Workshop Software-Reengineering, Bad Honnef, Mai 1999
userpages.uni-koblenz.de
Jens Krinke, Torsten Robschink (Universität Passau) Kombination von Slicing mit Constraint-Solving für Software Reengineering; Birgit Demuth (TU Dresden)
Conference Papers: Kombination von Slicing und Constraint-Solving für...
pp.info.uni-karlsruhe.de
[krinke99wsr], Jens Krinke, Torsten Robschink, Kombination von Slicing und Constraint-Solving für Software-Reengineering, Workshop Software Reengineering ...
Conference Papers: Software-Sicherheitsprüfung mit VALSOFT
pp.info.uni-karlsruhe.de
[krinke98st], Jens Krinke, Gregor Snelting, Torsten Robschink, Software-Sicherheitsprüfung mit VALSOFT, Softwaretechnik 98,
Software-Sicherheitsprüfung mit VALSOFTSpringer
link.springer.com
von J Krinke · · Zitiert von: 3 — Jens Krinke,; Torsten Robschink &; Gregor Snelting. Informatik Forschung und Entwicklung volume 14, pages 62–73 (1999)Cite this article. 39 Accesses.
Efficient path conditions in dependence graphs for software safety...
researchr.org
Efficient path conditions in dependence graphs for software safety analysis. Gregor Snelting, Torsten Robschink, Jens Krinke. Efficient path conditions in ...
Gregor SneltingWikidata
www.wikidata.org
— Statements · Joachim Breitner · Andreas Zeller · Christian Lindig · Bernd Fischer · Jens Krinke · Jürgen Graf · Mirko Streckenbach · Torsten Robschink.
ACM Transactions on Software Engineering and ...University of Utah
ftp.math.utah.edu
Gregor Snelting and Torsten Robschink and Jens Krinke Efficient path conditions in dependence graphs for software safety analysis
Zeitschriftenartikel: Software-Sicherheitsprüfung mit VALSOFT
pp.ipd.kit.edu
Jens Krinke, Torsten Robschink, Gregor Snelting, Software-Sicherheitsprüfung mit VALSOFT, Informatik - Forschung und Entwicklung, Vol. 14, (2), pp , ...
Zeitschriftenartikel: Efficient Path Conditions in Dependence Graphs...
pp.ipd.kit.edu
[snelting06tosem] Gregor Snelting, Torsten Robschink, Jens Krinke, Efficient Path Conditions in Dependence Graphs for Software Safety Analysis, ACM …
BibTeX bibliography tosem.bibUniversity of Utah
ftp.math.utah.edu
... author = "Gregor Snelting and Torsten Robschink and Jens Krinke", title = "Efficient path conditions in dependence graphs for software safety analysis", ...
Efficient path conditions in dependence graphs for software safety ...www.semanticscholar.org › paper › Efficient-path-c...
www.semanticscholar.org
... path conditions in dependence graphs for software safety analysis}, author={Gregor Snelting and Torsten Robschink and Jens Krinke}, journal={ACM Trans.
Boundary Value Analysis for Non-Numerical Variables: Strings |...
www.computerscijournal.org
Gregor Snelting, Torsten Robschink, Jens Krinke, Software Engineering and Methohodology, December 06, Volume 15; Ron Patton, Software Testing, ...
Boundary value analysis for non-numerical variables: Stringsdocplayer.net › Boundary-value-analysis...
docplayer.net
Gregor Snelting, Torsten Robschink, Jens Krinke, Software Engineering and Methohodology, December 06, Volume Ron Patton, Software Testing, SAMS Techmedia 7.
Software-Sicherheitsprüfung mit VALSOFT - PDF
docplayer.org
Software-Sicherheitsprüfung mit VALSOFT Jens Krinke, Gregor Snelting, Torsten Robschink Abteilung Softwaretechnologie Technische Universität Braunschweig ...
Activities
141.3.44.232
Dr. Jens Krinke (2003; jetzt: King's College London); Dr. Torsten Robschink (2005; jetzt: SD&M); Dr. Mirko Streckenbach (2005; jetzt: SD&M); Dr. Maximilian ...
Doctoral Dissertation A Dynamic Analysis with Static Source ...nii.ac.jp
naist.repo.nii.ac.jp
von AW Paundu · — Gregor Snelting, Torsten Robschink, and Jens Krinke. Ef- ficient path conditions in dependence graphs for software safety analysis.
Informatik - Forschung und Entwicklung | fatcat!fatcat.wiki › container › search
fatcat.wiki
Can also search all releases. Showing first 25 out of 364 results. Software-Sicherheitsprüfung mit VALSOFT · bright archive. Jens Krinke, Torsten Robschink, ...
SCEASsceas.csd.auth.gr › php › paper_info
sceas.csd.auth.gr
Jens Krinke, Torsten Robschink, Gregor Snelting Software-Sicherheitsprüfung mit VALSOFT. [Citation Graph (0, 0)][DBLP] Inform., Forsch.
Funktionell und verständlich programmieren so lernen es ...DocPlayer.org
docplayer.org
... erheblich von den Anregungen und Rückmeldungen des Lehrstuhls: Danke an Jens Krinke, Torsten Robschink, Gregor Snelting und Mirko Streckenbach.
Kombination von Slicing mit Constraint-Solving für Software ...docplayer.org › Kombination-von-slicing-mit-constraint-solvi...
docplayer.org
Kombination von Slicing mit Constraint-Solving für Software-Reengineering Jens Krinke Torsten Robschink Zusammenfassung Um sicherheitsrelevante Software zu ...
Gregor Snelting - researchr aliasresearchr.org
researchr.org
Efficient path conditions in dependence graphs for software safety analysisGregor Snelting, Torsten Robschink, Jens Krinke. TOSEM, 15(4): ,
Konferenzartikel: Software-Sicherheitsprüfung mit VALSOFT
pp.ipd.kit.edu
[krinke98st], Jens Krinke, Gregor Snelting, Torsten Robschink, Software- Sicherheitsprüfung mit VALSOFT, Softwaretechnik 98,
[PDF] Towards Better Static Analysis Security Testing Methodologiesuwspace.uwaterloo.ca › bitstream › handle › Aloraini_Bushra
uwspace.uwaterloo.ca
[173] Gregor Snelting, Torsten Robschink, and Jens Krinke. Efficient path conditions in dependence graphs for software safety analysis.
[PDF] acta academiae aboensis, ser. b - Doriawww.doria.fi › bitstream › handle › CADE_2007
www.doria.fi
[38] Gregor Snelting, Torsten Robschink, and Jens Krinke. Efficient path condi- tions in dependence graphs for software safety analysis. ACM Transactions.
netail.net( )netail.net
netail.net
Gregor Snelting, Torsten Robschink, Jens Krinke: Efficient Path Conditions in Dependence Graphs. To appear in ACM Transactions on Software Engineering and ...
Yesterday, my program worked. Today, it does not. Why?Academia.edu
www.academia.edu
— The first delta debugging prototype was implemented by Ulrike Heuer. Jens Krinke, Christian Lindig, Kerstin Reese, Torsten Robschink, Gregor ...
Alle Infos zum Namen "Torsten Robschink"
Verwandte Suchanfragen zu Torsten Robschink
Kerstin Reese Ulrike Heuer Gregor Snelting | Jürgen Graf Christian Hammer |
Personen Vorname "Torsten" (21504) Name "Robschink" (4) |
sortiert nach Relevanz / Datum