Suchergebnisse - "Testing and Debugging— debugging aids"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 27th IEEE/ACM International Conference on Automated Software Engineering
https://hal.science/hal-00731064
27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.60-69, ⟨10.1145/2351676.2351686⟩Schlagwörter: Diagnosys, Debugging, Wrappers, Linux, Device drivers, D.2.5 [Software Engineering]: Testing and Debugging-- Debugging aids, D.4.5 [Operating Systems]: Reliability, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
2
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, C.3 [Computer Systems Organization, Special-Purpose and Application-Based Systems—Real-time and embedded systems, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, tracing, E.4 [Data, Coding and Information Theory—Data compaction and compression General Terms, Algorithms, Design, Verification Additional Key Words and Phrases, Debugging, program tracing, trace compression, load value filtering, trace module, software debugger, variable encoding ACM Reference Format
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.6485; http://www.ece.uah.edu/%7Emilenka/docs/vuam_tecs13.pdf
-
3
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Tracing, Diagnostics Concurrecy Defect, Execution Reduction, Re- Keywords
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.8497; http://www.cse.ust.hk/~smhuang/academic/lean.pdf
-
4
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming – Parallel Programming, D.2.5 [Software Engineering, Testing and Debugging – Debugging Aids, D.4.0 [Operating Systems, General General Terms Design, Reliability, Performance Keywords Data Race Detection, Debugging, Multicore
Dateibeschreibung: application/pdf
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Tracing, Diagnostics General Terms Algorithms, Performance, Reliability Keywords Persuasive, Access Anomaly, Bug Detection
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.146; http://www.cse.ust.hk/~smhuang/academic/pecan.pdf
-
6
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Reliability, Performance, Experimentation Keywords KCCA, Bug detection, Large-scale bugs
Dateibeschreibung: application/pdf
-
7
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming–Parallel Programming, D.2.5 [Software Engineering, Testing and Debugging–Debugging Aids General Terms Design, Reliability, Performance Keywords Deterministic Multithreading, Determinism, Parallel Programming, Concurrency, Debugging, Multicore
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.2653; http://www.cpe.virginia.edu/grads/pdfs/Aug13/OperatingSystems.pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: D.2.5 [Software Engineering, Testing and Debugging— debugging aids, testing tools, D.1.3 [Programming Techniques, Concurrent Programming General Terms Design, Performance Keywords Performance Counters, Data Race Detection, Demand Analysis, Cache Coherency
Dateibeschreibung: application/pdf
-
9
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—Debugging Aids General Terms, Experimentation Keywords, Statistical debugging, user studies
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.229.712; http://www.cc.gatech.edu/%7Evector/papers/issta11.pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Verification — Assertion checkers, class invariants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, testing tools, theory, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, pre- and post-conditions, specification techniques
Dateibeschreibung: application/pdf
-
11
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: ACM Classification, D.2.5. [Software Engineering, Testing and Debugging – Debugging Aids. H.5.2. [Information interfaces, User Interfaces – Graphical user interfaces. General terms, Documentation, Human Factors Keywords, debugging, recommender systems
Dateibeschreibung: application/pdf
-
12
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Tracing, Diagnostics General Terms Algorithms, Performance, Reliability
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1026.8573; http://drona.csa.iisc.ernet.in/%7Emuralikrishna/teaching/spring2014/Papers2014/LEAP.pdf
-
13
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, tracing, H.5.2 [Information Interfaces and Presentation, User Interfaces— User-centered design, interaction styles General Terms, Reliability, Algorithms, Performance, Design, Human Factors Additional Key Words and Phrases, Whyline, questions, debugging
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.206.4307; http://www.cs.cmu.edu/%7Enatprog/papers/Ko2010TOSEM.pdf
-
14
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Tracing, Diagnostics General Terms Algorithms, Performance, Reliability
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.1897; http://www.cse.ust.hk/~smhuang/academic/leap.pdf
-
15
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Tracing, Diagnostics General Terms Algorithms, Performance, Reliability
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.5553; http://www.cs.ust.hk/~charlesz/academic/leap.pdf
-
16
Autoren:
Weitere Verfasser:
Quelle: http://dslab.epfl.ch/pubs/esd.pdf.
Schlagwörter: Categories and Subject Descriptors D.2.2.5 [Software En- gineering, Testing and Debugging—Debugging aids General Terms Reliability Keywords automated debugging, symbolic execution
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.7581; http://dslab.epfl.ch/pubs/esd.pdf
-
17
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Software Engineering, Testing and Debugging—Debugging aids General Terms Languages, Measurement, Performance Keywords Memory bloat, abstract dynamic thin s
Dateibeschreibung: application/pdf
-
18
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—Debugging Aids General Terms Design, Experimentation, Performance, Security Keywords Design, Security, Re- play, Virtual Machines
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.598.9683; http://www.vmware.com/files/pdf/partners/academic/jchow_VEE10.pdf
-
19
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Debuggers, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Dumps, Tracing General Terms Algorithms, Verification Keywords concurrency bugs, reproduction, execution indexing, multi-core, Heisenbugs
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.3051; http://www.cs.purdue.edu/homes/suresh/papers/asplos10.pdf
-
20
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords concurrency bugs
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2501; http://www.cs.purdue.edu/homes/suresh/papers/issta10.pdf
Nájsť tento článok vo Web of Science