Start Over Brief Display Limit/Sort
     
Limit search to available items
Nearby BJL CLASSMARKS are:
Result Page   Prev Next
Save marked records Save all on page
Mark   Media Year
QA76.76.S69 A93 2011 : Spyware and adware [electronic resource] / John Aycock.; Online materials     
      Spyware and adware [electronic resource] / John Aycock. Online materials  EBOOKS c2011
QA76.76.S95    
      2012 International Conference on Software and System Process (ICSSP) : proceedings : June 2-3, 2012, Online materials  EBOOKS 2012
      DSM'12 [electronic resource] : proceedings of the 2012 ACM Workshop on Domain-Specific Modeling : Oct Online materials  EBOOKS 2012
      ICSSP '17 : proceedings of the 2017 International Conference on Software and System Process : July 5- Online materials  EBOOKS 2017
      ICSSP 2016 : proceedings, International Conference on Software and Systems Process : 14-15 May 2016, Online materials  EBOOKS 2016
11 additional entries    
QA76.76.S95I58 2003 : Third International Workshop on Software and Performance, (WOSP2002) [electronic resource]: Proceedings, Rome, Italy, July 24-26, 2002; Online materials     
      Third International Workshop on Software and Performance, (WOSP2002) [electronic resource]: Proceedin Online materials  EBOOKS 2002
QA76.76.S95 I58 2005 : Proceedings of the Fifth International Workshop on Software and Performance [electronic resource] : WOSP '05, Palma, Illes Balears, Spain, July 12-14, 2005 / sponsored by Association for Computing Machinery SIGMETRICS and SIGSOFT, in cooperation with Computer Measurement Group (CMG), IFIP WG 6.3 and 7.3.; Online materials     
      Proceedings of the Fifth International Workshop on Software and Performance [electronic resource] : W Online materials  EBOOKS c2005
QA 76.76 T44 T3 : Texturing and modeling : a procedural approach / David S. Ebert ... [et al.].; BJL     
      Texturing and modeling : a procedural approach / David S. Ebert ... [et al.]. BJL  BOOK 1994
QA76.76.T48    
      2011 International Workshop on End-to-End Test Script Engineering (ETSE 2011) [electronic resource] : Online materials  EBOOKS 2011
      2012 7th International Workshop on Automation of Software Test (AST) : proceedings : June 2-3, 2012, Online materials  EBOOKS 2012
      2014 International Symposium on Software Testing and Analysis (ISSTA) : proceedings : July 21-25, 201 Online materials  EBOOKS 2014
      2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testi Online materials  EBOOKS 2014
40 additional entries    
QA 76.76 T48 A5    
      How to break web software : functional and security testing of web applications and web services / Mi BJL  BOOK 2006
      Introduction to software testing / Paul Ammann, Jeff Offutt. BJL  BOOK 2008
QA 76.76 T48 A8 : The Web testing companion : the insider's guide to efficient and effective tests.; BJL     
      The Web testing companion : the insider's guide to efficient and effective tests. BJL  BOOK c2003
QA 76.76 T48 B3 : Beautiful testing / edited by Tim Riley and Adam Goucher.; BJL     
      Beautiful testing / edited by Tim Riley and Adam Goucher. BJL  BOOK c2010
QA 76.76 T48 B4    
      Black-box testing : techniques for functional testing of software and systems. BJL  BOOK 1995
      Software testing techniques. BJL  BOOK 1990
QA 76.76 T48 D9 : Automated software testing : introduction, management, and performance / Elfriede Dustin, Jeff Rashka, John Paul.; BJL     
      Automated software testing : introduction, management, and performance / Elfriede Dustin, Jeff Rashka BJL  BOOK 1999
QA 76.76 T48 H5 : The complete guide to software testing.; BJL     
      The complete guide to software testing. BJL  BOOK 1992
QA76.76.T48 I28 2011 : Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings / Burkhart Wolff, Fatiha Zaïdi (eds.).; Online materials     
      Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, Online materials  EBOOKS c2011
QA76.76.T48 I58 1993 : Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA), June 28-30, 1993, Cambridge, Massachusetts, USA [electronic resource] / edited by Thomas Ostrand and Elaine Weyuker.; Online materials     
      Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA), June 28-30, Online materials  EBOOKS 1993
QA 76.76 T48 J8    
      Software testing : a craftsman's approach. BJL  BOOK 2002
      Software testing : a craftsman's approach / Paul C. Jorgensen. BJL  BOOK c2008
QA 76.76 T48 K1    
      Lessons learned in software testing : a context-driven approach / Cem Kaner, James Bach, Bret Pettich BJL  BOOK c2002
      Testing computer software / Cem Kaner, Jack Falk, Hung Quoc Nguyen. BJL  BOOK 1999
QA 76.76 T48 K6 : Software testing in the real world : improving the process / edited by Susannah Finzi.; BJL     
      Software testing in the real world : improving the process / edited by Susannah Finzi. BJL  BOOK 1995
QA 76.76 T48 L6    
      Software testing and continuous quality improvement. BJL  BOOK 2000
      Software testing with Visual studio 2010 / Jeff Levinson. BJL  BOOK c2011
QA 76.76 T48 M6 : Model-based software testing and analysis with C# / Jonathan Jacky ... [et al.].; BJL     
      Model-based software testing and analysis with C# / Jonathan Jacky ... [et al.]. BJL  BOOK 2008
QA 76.76 T48 N5 : Test-driven development in Microsoft .NET / James W. Newkirk, Alexei A. Vorontsov.; BJL     
      Test-driven development in Microsoft .NET / James W. Newkirk, Alexei A. Vorontsov. BJL  BOOK 2004
QA76.76.T48 O74 2019 : Concise guide to software testing / Gerard O'Regan.; BJL     
      Concise guide to software testing / Gerard O'Regan. BJL  BOOK 2019
QA 76.76 T48 P2 : Understanding software testing / Norman Parrington and Marc Roper.; BJL     
      Understanding software testing / Norman Parrington and Marc Roper. BJL  BOOK 1989
QA 76.76 T48 P4 : Surviving the top ten challenges of software testing : a people-oriented approach / William E. Perry, Randall W. Rice.; BJL     
      Surviving the top ten challenges of software testing : a people-oriented approach / William E. Perry, BJL  BOOK c1997
QA 76.76 T48 P5 : Software testing and analysis : process, principles, and techniques / Mauro Pezzè, Michal Young.; BJL     
      Software testing and analysis : process, principles, and techniques / Mauro Pezzè, Michal Young. BJL  BOOK c2008
QA76.76.T48 S652 : Software testing, verification & reliability [electronic resource].; Online materials     
      Software testing, verification & reliability [electronic resource]. Online materials  EJOURNALS  
QA76.76.T48 S95 1991 : Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4) [electronic resource] : Victoria, British Columbia, October 8-10, 1991 / sponsored by ACM Sigsoft.; Online materials     
      Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4) [electronic resource] : Vi Online materials  EBOOKS c1991
QA76.76.T48 T37 2011 : Tests and proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / Martin Gogolla, Burkhart Wolff (eds.).; Online materials     
      Tests and proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 201 Online materials  EBOOKS 2011
QA76.76.T48 .T555 2014eb : Hard problems in software testing : solutions using testing as a service (taas) / Scott Tilley, Brianna Floss.; Online materials     
      Hard problems in software testing : solutions using testing as a service (taas) / Scott Tilley, Brian Online materials  EBOOKS 2014
QA76.76.T49 : Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation [electronic resource] / chairman Paul Abrahams ; sponsors ACM Special Interest Group on Programming Languages.; Online materials     
      Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation [electronic resource] / chairman Online materials  EBOOKS 1981
QA 76.76 T49 S3 : GNU Emacs : UNIX text editing and programming / M.A. Schoonover, J.S. Bowie, W.R. Arnold.; BJL     
      GNU Emacs : UNIX text editing and programming / M.A. Schoonover, J.S. Bowie, W.R. Arnold. BJL  BOOK 1992
QA76.76.T55 S36 2011eb : Design of multithreaded software : the entity-life modeling approach / Bo I. Sandén.; Online materials     
      Design of multithreaded software : the entity-life modeling approach / Bo I. Sandén. Online materials  EBOOKS 2011
QA76.76.T83 P67 2010eb : Contextual computing [electronic resource] : models and applications / Robert Porzel.; Online materials     
      Contextual computing [electronic resource] : models and applications / Robert Porzel. Online materials  EBOOKS 2010
QA 76.76 U65 L6 : Lex & yacc / John R. Levine, Tony Mason, Doug Brown.; BJL     
      Lex & yacc / John R. Levine, Tony Mason, Doug Brown. BJL  BOOK 1990
QA76.76.U84    
      UCC 2015 [electronic resource] : proceedings, 2015 IEEE/ACM 8th International Conference on Utility a Online materials  EBOOKS 2016
      UCC 2015 : proceedings, 2015 IEEE/ACM 8th International Conference on Utility and Cloud Computing : 7 Online materials  EBOOKS 2016
QA 76.76 U84 T6 : Mastering MAKE : a guide to building programs on DOS and UNIX systems / Clovis L. Tondo, Andrew Nathanson, Eden Yount.; BJL     
      Mastering MAKE : a guide to building programs on DOS and UNIX systems / Clovis L. Tondo, Andrew Natha BJL  BOOK 1992
QA76.76.V47    
      2014 International SPIN Symposium on Model Checking of Software (SPIN) : poceedings : July 21-23, 201 Online materials  EBOOKS 2014
      HILT '13 [electronic resource] : proceedings of the ACM Conference on High Integrity Language Technol Online materials  EBOOKS 2013
      HILT 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, Online materials  EBOOKS 2014
      HILT'12 [electronic resource] : proceedings of the ACM Conference on High Integrity Language Technolo Online materials  EBOOKS 2012
6 additional entries    
QA 76.76 V47 A6    
      Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rudiger Olderog. BJL  BOOK 1991
      Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rudiger Olderog. BJL  BOOK 1997
QA76.76.V47 .D435 2015eb : Decidability of parameterized verification / Roderick Bloem [and six others].; Online materials     
      Decidability of parameterized verification / Roderick Bloem [and six others]. Online materials  EBOOKS 2015
QA 76.76 V47 F8 : Program verification.; BJL     
      Program verification. BJL  BOOK 1992
QA 76.76 V47 H7 : Software reviews and audits handbook.; BJL     
      Software reviews and audits handbook. BJL  BOOK 1990
QA76.76.V47 I54 2009 : Hardware and software : verification and testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.).; Online materials     
      Hardware and software : verification and testing : 5th International Haifa Verification Conference, H Online materials  EBOOKS 2011
QA76.76.V47 I54 2010 : Hardware and software : verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers / Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz, eds.; Online materials     
      Hardware and software : verification and testing : 6th International Haifa Verification Conference, H Online materials  EBOOKS 2011
QA76.76.V47 I58 2001 : Model checking software [electronic resource] : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.).; Online materials     
      Model checking software [electronic resource] : 8th International SPIN Workshop, Toronto, Canada, May Online materials  EBOOKS 2001
QA76.76.V47 I58 2011 : Model checking software : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / Alex Groce, Madanlal Musuvathi (eds.).; Online materials     
      Model checking software : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : pro Online materials  EBOOKS 2011
QA76.76.V47 P57 2007 : PLPV'07 [electronic resource] : proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 / sponsored by ACM SIGPLAN ; co-located with ICFP'07.; Online materials     
      PLPV'07 [electronic resource] : proceedings of the 2007 workshop on Programming Languages meets Progr Online materials  EBOOKS c2007
QA76.76.V47 P57 2009 : PLPV '09 [electronic resource] : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009 / sponsored by ACM SIGPLAN.; Online materials     
      PLPV '09 [electronic resource] : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Language Online materials  EBOOKS c2009
QA76.76.V47 R54 2011 : Rigorous software development [electronic resource] : an introduction to program verification / José Bacelar Almeida ... [et al.].; Online materials     
      Rigorous software development [electronic resource] : an introduction to program verification / José Online materials  EBOOKS c2011
QA76.76.V47 R58 2011 : Reachability problems : 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings / Giorgio Delzanno, Igor Potapov (eds.).; Online materials     
      Reachability problems : 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : pr Online materials  EBOOKS c2011
QA 76.76 V47 T9 : 25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).; BJL     
      25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.) BJL  BOOK c2008
QA76.76.V47 V53 2011eb : Verification, model checking, and abstract interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / Ranjit Jhala, David Schmidt (eds.).; Online materials     
      Verification, model checking, and abstract interpretation [electronic resource] : 12th International Online materials  EBOOKS 2011
Save marked records Save all on page
Result Page   Prev Next
Start Over Brief Display Limit/Sort