Search Results

There are 44888 results for: content related to: Index

  1. Improving software quality by static program analysis

    Software Process: Improvement and Practice

    Volume 3, Issue 4, December 1997, Pages: 235–241, Horst Lichter and Gerhard Riedinger

    Article first published online : 4 DEC 1998, DOI: 10.1002/(SICI)1099-1670(1997120)3:4<235::AID-SPIP88>3.0.CO;2-4

  2. RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications

    Software: Practice and Experience

    Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Qing Xie, Sangmin Park, Kunal Taneja and B. M. Mainul Hossain

    Article first published online : 1 OCT 2014, DOI: 10.1002/spe.2290

  3. EVALUATING SERVICES FOR PEOPLE WHO ARE MENTALLY HANDICAPPED USING PROGRAM ANALYSIS OF SERVICE SYSTEMS (PASS)

    Journal of the British Institute of Mental Handicap (APEX)

    Volume 12, Issue 3, September 1984, Pages: 102–103, Paul Dickens

    Article first published online : 26 AUG 2009, DOI: 10.1111/j.1468-3156.1984.tb00227.x

  4. Developing analysis and testing plug-ins for modern IDEs: an experience report

    Software: Practice and Experience

    Volume 43, Issue 4, April 2013, Pages: 465–478, Dan Zhao, Shauvik Roy Choudhary and Alessandro Orso

    Article first published online : 3 OCT 2012, DOI: 10.1002/spe.2157

  5. Transformational program analysis

    Software Testing, Verification and Reliability

    Volume 4, Issue 3, 1994, Pages: 155–189, K. Lano

    Article first published online : 31 OCT 2006, DOI: 10.1002/stvr.4370040304

  6. A practical object-oriented analysis engine for CLP

    Software: Practice and Experience

    Volume 28, Issue 2, February 1998, Pages: 199–224, Andrew D. Kelly, Kim Marriott, Harald Søndergaard and Peter J. Stuckey

    Article first published online : 8 JAN 1999, DOI: 10.1002/(SICI)1097-024X(199802)28:2<199::AID-SPE150>3.0.CO;2-4

  7. Automated verification and testing of user-interactive undo features in database applications

    Software Testing, Verification and Reliability

    Volume 22, Issue 4, June 2012, Pages: 245–265, Minh Ngoc Ngo and Hee Beng Kuan Tan

    Article first published online : 24 AUG 2010, DOI: 10.1002/stvr.439

  8. The Use of Program Analysis in State Budgeting: Changes between 1990 and 1995

    Public Budgeting & Finance

    Volume 17, Issue 2, June 1997, Pages: 18–36, Robert D. Lee Jr.

    Article first published online : 31 OCT 2003, DOI: 10.1111/1540-5850.01098

  9. Defining What Constitutes a Program

    Prioritizing Academic Programs and Services: Reallocating Resources to Achieve Strategic Balance

    Robert C. Dickeson, Pages: 53–63, 2012

    Published Online : 9 JAN 2012, DOI: 10.1002/9781118269541.ch4

  10. You have free access to this content
    Front Matter

    Prioritizing Academic Programs and Services: Reallocating Resources to Achieve Strategic Balance

    Robert C. Dickeson, Pages: i–xxvi, 2012

    Published Online : 9 JAN 2012, DOI: 10.1002/9781118269541.fmatter

  11. You have free access to this content
    MemSafe: ensuring the spatial and temporal memory safety of C at runtime

    Software: Practice and Experience

    Volume 43, Issue 1, January 2013, Pages: 93–128, Matthew S. Simpson and Rajeev K. Barua

    Article first published online : 2 FEB 2012, DOI: 10.1002/spe.2105

  12. Evaluating school-community prevention programs: The program analysis and review system

    Journal of Community Psychology

    Volume 8, Issue 3, July 1980, Pages: 276–284, Charles A. Maher

    Article first published online : 10 FEB 2006, DOI: 10.1002/1520-6629(198007)8:3<276::AID-JCOP2290080314>3.0.CO;2-Z

  13. Using XBDDs and ZBDDs in points-to analysis

    Software: Practice and Experience

    Volume 39, Issue 2, February 2009, Pages: 163–188, Ondřej Lhoták, Stephen Curial and José Nelson Amaral

    Article first published online : 1 SEP 2008, DOI: 10.1002/spe.895

  14. Malware detection by applying knowledge discovery processes to application metadata on the Android Market (Google Play)

    Security and Communication Networks

    Peter Teufl, Michaela Ferk, Andreas Fitzek, Daniel Hein, Stefan Kraxberger and Clemens Orthacker

    Article first published online : 18 JAN 2013, DOI: 10.1002/sec.675

  15. Anticipating Process Issues

    Prioritizing Academic Programs and Services: Reallocating Resources to Achieve Strategic Balance

    Robert C. Dickeson, Pages: 105–121, 2012

    Published Online : 9 JAN 2012, DOI: 10.1002/9781118269541.ch7

  16. Integrating program analyses with programmer productivity tools

    Software: Practice and Experience

    Volume 41, Issue 7, June 2011, Pages: 817–840, Daniel von Dincklage and Amer Diwan

    Article first published online : 18 JAN 2011, DOI: 10.1002/spe.1035

  17. Task 5—Program Analyses

    Strategies for Protecting National Critical Infrastructure Assets: A Focus on Problem-Solving

    John Sullivant, Pages: 187–198, 2007

    Published Online : 21 JUN 2007, DOI: 10.1002/9780470228371.ch9

  18. Re-using Mini-Sentinel data following rapid assessments of potential safety signals via modular analytic programs

    Pharmacoepidemiology and Drug Safety

    Volume 22, Issue 10, October 2013, Pages: 1036–1045, Sengwee Toh, Jerry Avorn, Ralph B. D'Agostino Sr., Jerry H. Gurwitz, Bruce M. Psaty, Kenneth J. Rothman, Kenneth G. Saag, Miriam C. J. M. Sturkenboom, Jan P. Vandenbroucke, Almut G. Winterstein and Brian L. Strom

    Article first published online : 7 AUG 2013, DOI: 10.1002/pds.3478

  19. Parallel program analysis on workstation clusters: speedup profiling and latency hiding

    Concurrency: Practice and Experience

    Volume 9, Issue 7, July 1997, Pages: 721–751, R. Togneri

    Article first published online : 4 DEC 1998, DOI: 10.1002/(SICI)1096-9128(199707)9:7<721::AID-CPE265>3.0.CO;2-5

  20. An evaluation of the effectiveness of symbolic testing

    Software: Practice and Experience

    Volume 8, Issue 4, July/August 1978, Pages: 381–397, William E. Howden

    Article first published online : 27 OCT 2006, DOI: 10.1002/spe.4380080402