Resultados de búsqueda - "Computer software testing"

Limitar resultados
  1. Imagen de Portada

    Beware geeks bearing gifts.

    Publicado en Economist (August 31 1996)

    Ver este registro en EBSCOhost
    Artículo
  2. Imagen de Portada

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

    Publicado en Communications of the ACM (May2023)

    Ver este registro en EBSCOhost
    Artículo
  3. Imagen de Portada

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

    Publicado en Communications of the ACM (Aug2016)

    Ver este registro en EBSCOhost
    Question & Answer
  4. Imagen de Portada

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

    Publicado en Computer (00189162) (Dec2016)

    Ver este registro en EBSCOhost
    Artículo
  5. Imagen de Portada

    The Verification of a Distributed System. por MCCAFFREY, CAITIE

    Publicado en Communications of the ACM (Feb2016)

    Ver este registro en EBSCOhost
    Artículo
  6. Imagen de Portada

    Debugging High-Performance Computing Applications at Massive Scales. por 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

    Publicado en Communications of the ACM (Sep2015)

    Ver este registro en EBSCOhost
    Artículo
  7. Imagen de Portada

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

    Publicado en Communications of the ACM (Jun2010)

    Ver este registro en EBSCOhost
    Artículo
  8. Imagen de Portada

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

    Publicado en Communications of the ACM (Feb2010)

    Ver este registro en EBSCOhost
    Artículo
  9. Imagen de Portada

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

    Publicado en Communications of the ACM (Sep2010)

    Ver este registro en EBSCOhost
    Artículo
  10. Imagen de Portada

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

    Publicado en Journal of Parapsychology (Spring2021)

    Ver este registro en EBSCOhost
    Artículo
  11. Imagen de Portada

    In Search of Dependable Design. por Hoffman, Leah

    Publicado en Communications of the ACM (Jul2008)

    Ver este registro en EBSCOhost
    Artículo
  12. Imagen de Portada

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


    Ver este registro en EBSCOhost
    Artículo
  13. Imagen de Portada

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

    Publicado en Communications of the ACM (Jun2009)

    Ver este registro en EBSCOhost
    Opinion
  14. Imagen de Portada

    NEW TITLES: NON-FICTION.

    Publicado en Bookseller (6/5/2009)

    Ver este registro en EBSCOhost
    Book Review
  15. Imagen de Portada

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

    Publicado en Communications of the ACM (Feb2014)

    Ver este registro en EBSCOhost
    Artículo
  16. Imagen de Portada

    Flexible Experimentation in Wireless Sensor Networks. por 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

    Publicado en Communications of the ACM (Jan2012)

    Ver este registro en EBSCOhost
    Artículo
  17. Imagen de Portada

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

    Publicado en Communications of the ACM (Jul2011)

    Ver este registro en EBSCOhost
    Artículo
  18. Imagen de Portada

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

    Publicado en Contemporary Educational Psychology (Apr1978)

    Ver este registro en EBSCOhost
    Artículo
  19. Imagen de Portada

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

    Publicado en Communications of the ACM (Jun2010)

    Ver este registro en EBSCOhost
    Artículo
  20. Imagen de Portada

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

    Publicado en Communications of the ACM (Nov2009)

    Ver este registro en EBSCOhost
    Artículo

Herramientas de búsqueda: