Search Results - "Computer software Testing"

Refine Results
  1. Cover Image

    Beware geeks bearing gifts.

    Published in Economist (August 31 1996)

    View this record in EBSCOhost
    Article
  2. Cover Image

    Research for Practice: The Fun in Fuzzing. by NAGY, STEFAN

    Published in Communications of the ACM (May2023)

    View this record in EBSCOhost
    Article
  3. Cover Image

    Chilling the Messenger. by Neville-Neil, George V.

    Published in Communications of the ACM (Aug2016)

    View this record in EBSCOhost
    Question & Answer
  4. Cover Image

    Access Control Policy Verification. by Hu, Vincent C., Kuhn, Rick

    Published in Computer (00189162) (Dec2016)

    View this record in EBSCOhost
    Article
  5. Cover Image

    The Verification of a Distributed System. by MCCAFFREY, CAITIE

    Published in Communications of the ACM (Feb2016)

    View this record in EBSCOhost
    Article
  6. Cover Image

    Debugging High-Performance Computing Applications at Massive Scales. by LAGUNA, IGNACIO, AHN, DONG H., DE SUPINSKI, BRONIS R., GAMBLIN, TODD, LEE, GREGORY L., SCHULZ, MARTIN, BAGCHI, SAURABH, KULKARNI, MILIND, BOWEN ZHOU, ZHEZHE CHEN, FENG QIN

    Published in Communications of the ACM (Sep2015)

    View this record in EBSCOhost
    Article
  7. Cover Image

    Barriers to Systematic Model Transformation Testing. by BAUDRY, BENOIT, GHOSH, SUDIPTO, FLEUREY, FRANCK, FRANCE, ROBERT, LE TRAON, YVES, MOTTU, JEAN-MARIE

    Published in Communications of the ACM (Jun2010)

    View this record in EBSCOhost
    Article
  8. Cover Image

    A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World. by BESSEY, AL, BLOCK, KEN, CHELF, BEN, CHOU, ANDY, FULTON, BRYAN, HALEM, SETH, HENRI-GROS, CHARLES, KAMSKY, ASYA, MCPEAK, SCOTT, ENGLER, DAW SON

    Published in Communications of the ACM (Feb2010)

    View this record in EBSCOhost
    Article
  9. Cover Image

    Expanding CS Education; Improving Software Development. by Chacin, Pablo, Chi, Ed H., Ortega, Ruben

    Published in Communications of the ACM (Sep2010)

    View this record in EBSCOhost
    Article
  10. Cover Image

    A Random Number Generator Experiment: The Origin of Decision Augmentation Theory. by May, Edwin C.

    Published in Journal of Parapsychology (Spring2021)

    View this record in EBSCOhost
    Article
  11. Cover Image

    In Search of Dependable Design. by Hoffman, Leah

    Published in Communications of the ACM (Jul2008)

    View this record in EBSCOhost
    Article
  12. Cover Image

    A Conceptual Framework to Measure the Freedom of Press and media Regulation in Pakistan. by Memon, Sumera, Shaikh, Muhammad Ali


    View this record in EBSCOhost
    Article
  13. Cover Image

    Kode Vicious: Obvious Truths. by Neville-Neil, George V.

    Published in Communications of the ACM (Jun2009)

    View this record in EBSCOhost
    Opinion
  14. Cover Image

    NEW TITLES: NON-FICTION.

    Published in Bookseller (6/5/2009)

    View this record in EBSCOhost
    Book Review
  15. Cover Image

    Automatic Exploit Generation. by AVGERINOS, THANASSIS, SANG KIL CHA, REBERT, ALEXANDRE, SCHWARTZ, EDWARD J., WOO, MAVERICK, BRUMLEY, DAVID

    Published in Communications of the ACM (Feb2014)

    View this record in EBSCOhost
    Article
  16. Cover Image

    Flexible Experimentation in Wireless Sensor Networks. by Coulson, Geoff, Porter, Barry, Chatzigiannakis, Ioannis, Koninis, Christos, Fischer, Stefan, Pfisterer, Dennis, Bimschas, Daniel, Braun, Torsten, Hurni, Philipp, Anwander, Markus, Wagenknecht, Gerald, Fekete, Sándor P., Kröller, Alexander, Baumgartner, Tobias

    Published in Communications of the ACM (Jan2012)

    View this record in EBSCOhost
    Article
  17. Cover Image

    Debugging in the (Very) Large: Ten Years of Implementation and Experience. by Kinshumann, Kinshuman, Glerum, Kirk, Greenberg, Steve, Aul, Gabriel, Orgovan, Vince, Nichols, Greg, Grant, David, Loihle, Gretchen, Hunt, Galen

    Published in Communications of the ACM (Jul2011)

    View this record in EBSCOhost
    Article
  18. Cover Image

    An Empirical Study of Formal Procedure Specification. by Bell, D. A.

    Published in Contemporary Educational Psychology (Apr1978)

    View this record in EBSCOhost
    Article
  19. Cover Image

    Asserting and Checking Determinism for Multithreaded Programs. by Burnim, Jacob, Sen, Koushik

    Published in Communications of the ACM (Jun2010)

    View this record in EBSCOhost
    Article
  20. Cover Image

    Model Checking: Algorithmic Verification and Debugging. by Clarke, Edmund M., Emerson, E. Allen, Sifakis, Joseph

    Published in Communications of the ACM (Nov2009)

    View this record in EBSCOhost
    Article

Search Tools: