Search Results - Computer software testing~

Refine Results
  1. Cover Image

    Conversion of the Spanish WordNet databases into a Prolog-readable format. by Julián-Iranzo, Pascual, Rigau, Germán, Sáenz-Pérez, Fernando, Velasco-Crespo, Pablo

    Published in Language Resources & Evaluation (Jun2025)

    View this record in EBSCOhost
    Article
  2. Cover Image

    تأثير استخدام وسيلة الفيديو لترقية مهارة الاستماع في المدرسة الثانوية الإنسان الكامل الإسلامية بنكولو. by Sutriyani, Arifin, Zainul, Rahmawati


    View this record in EBSCOhost
    Article
  3. Cover Image

    ODYM—An open software framework for studying dynamic material systems: Principles, implementation, and data structures. by Pauliuk, Stefan, Heeren, Niko

    Published in Journal of Industrial Ecology (Jun2020)

    View this record in EBSCOhost
    Article
  4. Cover Image

    Symbolic Execution for Software Testing: Three Decades Later. by CADAR, CRISTIAN, SEN, KOUSHIK

    Published in Communications of the ACM (Feb2013)

    View this record in EBSCOhost
    Article
  5. Cover Image

    Fault Injection in Production. by Allspaw, John

    Published in Communications of the ACM (Oct2012)

    View this record in EBSCOhost
    Article
  6. Cover Image

    Satisfiability Modulo Theories: Introduction and Applications. by DE MOURA, LEONARDO, BJØRNER, NIKOLAJ

    Published in Communications of the ACM (Sep2011)

    View this record in EBSCOhost
    Article
  7. Cover Image

    Finding Usability Bugs with Automated Tests. by HARTY, JULIAN

    Published in Communications of the ACM (Feb2011)

    View this record in EBSCOhost
    Article
  8. Cover Image

    Technical Perspective: What's All the Fuss about Fuzzing? by Fraser, Gordon

    Published in Communications of the ACM (Nov2023)

    View this record in EBSCOhost
    Article
  9. Cover Image

    Tackling Architectural Complexity with Modeling. by MONTAGNE, KEVIN

    Published in Communications of the ACM (Oct2010)

    View this record in EBSCOhost
    Article
  10. Cover Image

    Thinking Clearly About Performance, Part 2. by MILLSAP, CARY

    Published in Communications of the ACM (Oct2010)

    View this record in EBSCOhost
    Article
  11. Cover Image

    Performance Evaluation and Model Checking Join Forces. by BAIER, CHRISTEL, HAVERKORT, BOUDEWIJN R., HERMANNS, HOLGER, KATOEN, JOOST-PIETER

    Published in Communications of the ACM (Sep2010)

    View this record in EBSCOhost
    Article
  12. Cover Image

    Reasoning About the Unknown in Static Analysis. by Dillig, Isil, Dillig, Thomas, Aiken, Alex

    Published in Communications of the ACM (Aug2010)

    View this record in EBSCOhost
    Article
  13. Cover Image

    Boosting Fuzzer Efficiency: An Information Theoretic Perspective. by Böhme, Marcel, Manès, Valentin J. M., Sang Kil Cha

    Published in Communications of the ACM (Nov2023)

    View this record in EBSCOhost
    Article
  14. Cover Image

    This Year's FAFSA Will Be on Time. by CARRNS, ANN

    Published in New York Times (9/8/2025)

    View this record in EBSCOhost
    Article
  15. Cover Image

    The Construct-Behavior Gap in Behavioral Decision Research: A Challenge Beyond Replicability. by Regenwetter, Michel, Robinson, Maria M.

    Published in Psychological Review (Oct2017)

    View this record in EBSCOhost
    Article
  16. Cover Image

    Discovering Bugs, or Ensuring Success? Finding errors is not the same as making certain a software product works correctly. by Buzruk, Vivek

    Published in Communications of the ACM (Sep2018)

    View this record in EBSCOhost
    Article
  17. Cover Image

    Why software testing is sometimes ineffective: two applied studies of positive test strategy. by Teasley, Barbee E., Leventhal, Laura Marie, Mynatt, Clifford R.

    Published in Journal of Applied Psychology (February 1994)

    View this record in EBSCOhost
    Article
  18. Cover Image

    Education From Interests to Values.

    Published in Communications of the ACM (Aug2011)

    View this record in EBSCOhost
    Opinion
  19. Cover Image

    Viewpoint: Retrospective: An Axiomatic Basis for Computer Programming. by Hoare, C. A. R.

    Published in Communications of the ACM (Oct2009)

    View this record in EBSCOhost
    Opinion
  20. Cover Image

    Limits on the generalizability of context-driven control. by Hutcheon, Thomas G., Spieler, Daniel H.


    View this record in EBSCOhost
    Article

Search Tools: