Suchergebnisse - "Testing AND Debugging— Testing tools General Terms Algorithms"

  • Treffer 1 - 8 von 8
Treffer weiter einschränken
  1. 1

    Practical software model checking via dynamic interface reduction

    Autoren: Huayang Guo Ming Wu Lidong Zhou et al.

    Weitere Verfasser: Huayang Guo Ming Wu Lidong Zhou et al.

    Quelle: http://sigops.org/sosp/sosp11/current/2011-Cascais/19-guo-online.pdf.

    Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking, Reliability, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Algorithms

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.5065

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.5065
    http://sigops.org/sosp/sosp11/current/2011-Cascais/19-guo-online.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    GUI Testing Using Computer Vision

    Autoren: Tsung-hsiang Chang Mit Csail Tom Yeh et al.

    Weitere Verfasser: Tsung-hsiang Chang Mit Csail Tom Yeh et al.

    Quelle: http://uid.csail.mit.edu/projects/sikuli/sikuli-chi2010.pdf.

    Schlagwörter: Testing and Debugging—Testing tools General Terms Algorithms, Design, Reliability

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.2504

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.2504
    http://uid.csail.mit.edu/projects/sikuli/sikuli-chi2010.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    ThreadSanitizer - Data race detection in practice

    Autoren: Konstantin Serebryany Timur Iskhodzhanov The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Konstantin Serebryany Timur Iskhodzhanov The Pennsylvania State University CiteSeerX Archives

    Quelle: http://data-race-test.googlecode.com/files/ThreadSanitizer.pdf.

    Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging — Testing tools. General Terms Algorithms, Testing, Reliability. Keywords Concurrency Bugs, Dynamic Data Race Detection, Valgrind

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.5946

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.5946
    http://data-race-test.googlecode.com/files/ThreadSanitizer.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing

    Autoren: Marat Boshernitsan Roongko Doong Alberto Savoia et al.

    Weitere Verfasser: Marat Boshernitsan Roongko Doong Alberto Savoia et al.

    Quelle: http://www.stanford.edu/class/cs295/papers/agitator-issta06.pdf.

    Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging- testing tools. General Terms Algorithms, Performance, Reliability. Keywords Developer testing, unit testing, automated testing tools, software agitation

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.8472

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.8472
    http://www.stanford.edu/class/cs295/papers/agitator-issta06.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    Mutation-driven generation of unit tests and oracles

    Autoren: Gordon Fraser Andreas Zeller The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Gordon Fraser Andreas Zeller The Pennsylvania State University CiteSeerX Archives

    Quelle: https://www.st.cs.uni-saarland.de/publications/files/fraser-issta-2010.pdf.

    Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Algorithms, Experimentation Keywords Mutation analysis, test case generation, unit testing, test oracles

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.7671

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.7671

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    Model-based testing of automotive software: Some challenges and solutions.

    Autoren: Petrenko, Alexandre Timo, Omer Nguena Ramesh, S.

    Quelle: 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC); 2015, p1-6, 6p

    Full Text Finder
    Zu den Favoriten
  7. 7

    Automated WAIT for Cloud-Based Application Testing.

    Autoren: Portillo-Dominguez, A. Omar Wang, Miao Murphy, John et al.

    Quelle: 2014 IEEE Seventh International Conference on Software Testing, Verification & Validation Workshops; 2014, p370-375, 6p

    Full Text Finder
    Zu den Favoriten
  8. 8

    Conformance Testing for Cyber-Physical Systems.

    Autoren: WOEHRLE, MATTHIAS LAMPKA, KAI THIELE, LOTHAR

    Quelle: ACM Transactions on Embedded Computing Systems; Dec2012, Vol. 11 Issue 4, p1-23, 23p

    Schlagwörter: COMPUTERS testing, RELIABILITY in engineering, ROBUST control, ENERGY consumption of computers, WIRELESS sensor nodes, TEMPERATURE

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: