Treffer 21 - 40 von 103

21

Dieses Ergebnis kann Gästen nicht angezeigt werden.

22

Practical Evaluation of Large Scale Applications
Jorge, Tiago ; Maia, Francisco ; Matos, Miguel ; et al.
Lecture Notes in Computer Science ; 15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS) ; https://inria.hal.science/hal-01775035 ; 15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.124-137, ⟨10.1007/978-3-319-19129-4_10⟩

Grenoble France Testing and evaluation Distributed systems Simulation and emulation [INFO]Computer Science [...
Konferenz
Zu den Favoriten
23

Generating Java Unit Tests with AI Planning
Eddie Dingels ; Timothy Fraser ; Alex Quinn ; et al.
http://www.alexquinn.org/papers/Generating%20Java%20unit%20tests%20with%20AI%20planning%20%282007%29.pdf.

Categories and Subject D... Testing and Debugging—Te... data generators coverage testing). Gener... Experimentation Verification
Fachzeitschrift
Zu den Favoriten
24
25

Continuous Validation of Evolving Systems
Garrity, Chris ; AVERSTAR INC BURLINGTON MA
DTIC AND NTIS

Computer Programming and... SOFTWARE ENGINEERING VALIDATION DYNAMIC PROGRAMMING ADA PROGRAMMING LANGUAGE DEBUGGING(COMPUTERS)
Fachzeitschrift
Zu den Favoriten
26

Finding low-utility data structures
Guoqing Xu ; Nick Mitchell ; Matthew Arnold ; et al.
http://www.cse.ohio-state.edu/~rountev/presto/pubs/pldi10-1.pdf.

Software Engineering Testing and Debugging—De... Measurement Performance Keywords Mem... abstract dynamic thin s
Fachzeitschrift
Zu den Favoriten
27

Hierarchical Delta Debugging Abstract
Ghassan Shakib Misherghi ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.ucdavis.edu/~su/theses/GM-thesis.pdf.

Fachzeitschrift
Zu den Favoriten
28

Basset: A Tool for Systematic Testing of Actor Programs
Steven Lauterburg ; Rajesh K. Karmani ; Darko Marinov ; et al.
http://mir.cs.illinois.edu/~marinov/publications/LauterburgETAL10BassetTool.pdf.

Categories and Subject D... D.2.5 [Software Engineer... Testing and Debugging D.2.4 [Software Engineer... Software/Program Verific... Verification Keywords
Fachzeitschrift
Zu den Favoriten
29

Debugging MPI Grid applications using Net-dbx
Panayiotis Neophytou ; Neophytos Neophytou ; Paraskevas Evripidou ; et al.
http://www.cs.pitt.edu/~panickos/papers/Net-dbx-GI-CR.pdf.

Fachzeitschrift
Zu den Favoriten
30

A SURVEY ON DEEPSEEK AI
Dr. G. Suvarna Kumar, Gorle Sai

Fachzeitschrift
Zu den Favoriten
31

Codebugger ; a software tool for cooperative debugging
Xie, Gaoyan ; Xu, Yongsen ; Li, Yu ; et al.
ACM SIGPLAN Notices ; volume 35, issue 2, page 54-60 ; ISSN 0362-1340 1558-1160

Fachzeitschrift
Zu den Favoriten
32

Heapviz: Interactive Heap Visualization for Program Understanding and Debugging.
Guyer, Samuel Z. ; Aftandilian, Edward E. ; Kelley, Sean. ; et al.

Visualization Java (Computer program l... Debugging in computer sc... Tufts University. Depart...
Fachzeitschrift
Zu den Favoriten
33

Finite‐state model extraction and visualization from Java program execution
K. P., Jevitha ; Jayaraman, Swaminathan ; Jayaraman, Bharat ; et al.
Software: Practice and Experience ; volume 51, issue 2, page 409-437 ; ISSN 0038-0644 1097-024X

Fachzeitschrift
Zu den Favoriten
34

ScaMo: Realisation of an OO-functional DSL for cross platform mobile applications development.
Macos, Dragan ; Solymosi, Andreas
AIP Conference Proceedings. Oct2013, Vol. 1558 Issue 1, p327-331. 5p. 2 Diagrams.

Konferenz
Zu den Favoriten
35

Debug all your code ; portable mixed-environment debugging
Lee, Byeongcheol ; Hirzel, Martin ; Grimm, Robert ; et al.
ACM SIGPLAN Notices ; volume 44, issue 10, page 207-226 ; ISSN 0362-1340 1558-1160

Fachzeitschrift
Zu den Favoriten
36

G.: Pajé trace file format
B. De Oliveira Stein ; J. Chassin De Kergommeaux ; The Pennsylvania State University CiteSeerX Archives
http://www-id.imag.fr/Logiciels/paje/publications/files/lang-paje.pdf.

performance debugging visualization MPI pthread parallel programming self defined data format...
Fachzeitschrift
Zu den Favoriten
37

Saving the World Wide Web from Vulnerable JavaScript
Salvatore Guarnieri ; Julian Dolby ; Marco Pistoia ; et al.
http://www.cs.tau.ac.il/~omertrip/issta11/paper-guarnieri.pdf.

Categories and Subject D... Software/Program Verific... D.2.5 [Software Engineer... Testing and Debugging Ge... Security Abstract Interpretation...
Fachzeitschrift
Zu den Favoriten
38

Ladění skriptů v SPipes editore ; Debugging scripts in SPipes editor
Petr Jordán ; Blaško Miroslav ; Šebek Jiří

SPipes Sémantický web RDF SPARQL SHACL Spring boot
Dissertation
Zu den Favoriten
39

Composing security policies with Polymer
Lujo Bauer ; The Pennsylvania State University CiteSeerX Archives
http://www.ece.cmu.edu/~lbauer/papers/2005/pldi2005-polymer.pdf.

Categories and Subject D... Specialized application... D.2.1 [Requirements/ Spe... Languages D.2.4 [Software/Program... Formal methods
Fachzeitschrift
Zu den Favoriten
40

Scaling regression testing to large software systems
Ro Orso ; Nanjuan Shi ; Mary Jean Harrold ; et al.
http://www.cc.gatech.edu/aristotle/Publications/Papers/fse04.pdf.

Categories and Subject D... D.2.5 [Software Engineer... Testing and Debugging—Te... General Terms Algorithms Experimentation
Fachzeitschrift
Zu den Favoriten

Filter