Bernhard K. Aichernig (Graz U. of Technology, Austria ) Specification-based test generation Roger T. Alexander ( Colorado State U. ) OO Testing Rajeev Alur (U. Penn) Specification, Analysis, and Testing of Scenario-based Requirements Paul Amman (Georgia Mason U.) Model Checking to Test GenerationJames H. (Jamie) Andrews (U. Western Ontario, Canada) Log file analysis theses ,Log File Analysis Language download), ATG Based on Test Oracles Sten F. Andler (U. Skövde, Sweden) Real-time testing Anneliese Katharina Amschler Andrew s (Colorado State U.) Domain Testing, Regression Testing Mikhail Auguston( New Mexico State U. ) Algorithmic and Automatic Debugging, Formal methods in testing James Bach (Satisfice) Software Testing Thomas Ball (MSR) OO Testing, Regression Testing, Testing, Verification and MeasurementMichael Barnett (MSR) Spec-Based Testing, AsmL (download) Valerie Barr (Hofstra U.) AI and Testing Antonia Bertolino (Italy) CowSuite Tool, An Automated Test Strategy Based on UML (download) Sami Beydeda (Universitat Leipzig, German) Component testing and test generation Jim Bieman (Colorado State U.) Testing Robert Binder (mVerify Corporation) Object-oriented testing, Model-based mobile testing.Paul E. Black (NIST) Automated Test Generation from Formal Specifications, Vokun ,aftgCode ,nist product, Testing papers, Spec Test.Manuel Blum (UC Berkeley) Testing thoery Kirill Bogdanov (U. Sheffield, UK) Testing Statecharts Jonathan Bowen (London South Bank U., UK) FORTEST.Chandrasekhar Boyapati (U. Michigan at Ann Arbor) Automated Test Generation, Korat.Lionel Briand (U. Carleton, Canada) Testing of Object-oriented software sysTEms with the Unified Modeling Language SQUALLEd Brinksma (U. Twente, The Netherlands) FMT group at utwente.nl TorX.Didier Buchs (Swiss Federal Institute of Technology) Testing Object-Oriented Software Tevfik Bultan (UCSB) Monitor Verifier (download)Margaret Burnett (Oregon State U.),Testing Visual Programming Ugo Buy (U. Illinois, Chicago) OO TestingDavid Carrington (U. Queensland, Australia ) Formal methods in testing Richard Carver (George Mason U.) Concurrent Testing Ana Rosa Cavalli (Institut National des Telecommunications, France) Protocol testing Kai H. Chang (Auburn U.), OO Testing and Test Generation Mei-Hwa Chen (U. at Albany State U. New York ),Object-Oriented Testing and Reliability Modeling ,JATO (download) Yinong Chen ( Arizona State U. ) Software Reliability and Testing Yih-Farn Robin Chen (AT&T Labs) Regression Testing T.Y. Chen (Swinburn U., Australia) Software Testing.Koen Claessen (Chalmers U. of Tech, Sweden) QuickCheck - specification-based testing for Haskell programs John A Clark (York U., UK) Test Generation York U. testsig Alberto Coen-Porisini (U. degli Studi dell'Insubria - Varese, Italy) Testing Myra B. Cohen (U. Auckland, New Zealand),Interaction testing James H. Cross (Auburn U.) Test Generation Pedro R D'Argenio (National U. of Cordoba) Real-time testing Paul P. Dasiewicz (U. Waterloo, Canada) OO Test John Derrick (U. Kent, UK) Spec-based testing Arie van Deursen (Delft U. Tech, Netherlands) Test refactoring, testability Bruntink Daniel Deveaux (IUT de Vannes, France) JMutator ,Triskell Yves Deville (Université catholique de Louvain, Belguim) Test Generation Laura K. Dillon (MSU) Automated Suport for Testing and Debugging of Real-Time Programs Using Oracles John Dobson (U. Newcastle Upon Tyne, UK) Software Testing
Michael R. Donat (U. British Columbia) Specification-Based Test Generation Mireille Ducasse (IRISA, France) Debugging Ishbel Duncan (U. St. Andrews) Visualizing Testing Stephen H. Edwards (VT) Automated testing Software Testing Education web-cat Sebastian Elbaum (U. Nebraska-Lincoln) Maptext Monitoring Java Programs (Download) Prioritization Site Michael Ernst (MIT) Testing based on inferred specifications Daikon (download) Kousha Etessami (U. Edinburgh, UK) Automata testing, model inference David Evans (U Virgina) Differential Program Analysis Martin S. Feather (JPL CIT) Increasing the Cost-Effectiveness of Analysis, Test Automation, V&V, & Design Debugging.Jean-Claude Fernandez (Université Joseph Fourier, France) Test case generation The test sequence generator TGV cadp (download)Phyllis Frankl (Polytechnic U.) Dataflow testing, Database testing Deng, Yuetang Deborah A. Frincke (U. Idaho) Software Testing Jerry Gao (San Jose State U.) OO Testing, Component Testing Sudipto Ghosh ( Colorado State U. ) UML Testing and Mutation Testing Patrice Godefroid (Bell Labs) VeriSoft testing concurrent reactive software (C, C++, Tcl, etc.). (download)John B. Goodenough (Software Engineering Institute) Testing theory Arnaud Gotlieb (INRIA, France) Test generation Wolfgang Grieskamp (MSR) Spec-Based Testing, AsmL (download) Michael Grottke (U. Erlangen-Nuremberg, Germany) Software Reliability and Testing Neelam Gupta (U. Arizona) Automatic Test Generation, Testing Multi-threaded Programs Rajiv Gupta (U. Arizona) Dataflow testing Yuri Gurevich (MSR) Spec-Based Testing, AsmL (download) Walter J. Gutjahr (U. Vienna, Australia) Testing theory Dick Hamlet (Portland State U.) Software testing theory and reliability Mary Jean Harrold (Georgia Tech) Aristotle Analysis System (Download) New Aristotle documentation ProjectAlan Hartman (IBM Haifai)Automated Generation and Execution of Test Suites for DIstributed Component-based Software (Agedis)
Mark Harman (Brunel U., UK) TeTra- Testability Transformation Slicing to aid testing The FermaT Program Transformation System (download) Warren Harrison (Portland State U.) The Transaction Based Testing Workbench Klaus Havelund (NASA) Runtime verification and test generation, Java PathFinderJane E. Hayes (U. Kentucky ) Automatic Test GenerationXudong He (Florida International U.) Testing thoeryConnie Heitmeyer (Naval Research Lab) Model Checking to ATG, Timed Automata Modeling Environment Keijo Heljanko (U. Stuttgart, Finland) Testing and Model checking Testing tools (download) Bomotest testing tool (download)Anders Hessel (U. Uppsala, Sweden) Uppaal (download) Test Generator (download) Automated Testing Rob Hierons (Brunel U., UK) Formal methods in testing, >genetic algorithms to mutation testing Daniel M. Hoffman (U. Victoria, Canada) Automated class testing, Roast (download)Jeff Hollingsworth (U. Maryland) Dynamic Instrumentation Dyninst (download)Michael Holcombe (U. Sheffield) OO Testing Improving Evolutionary Testing in the Presence of State Behaviour Gerard J. Holzmann (NASA/JPL) UBET (download) Susan B. Horwitz William E. Howden (UCSD) MOCA (Model Oriented Capture Analysis) Mike Holcombe (U. Sheffield, UK) OO Testing Pei Hsia (UT Arlington) OO Testing Jung-chang Huang (U. Huston) Software Testing Paola Inverardi (U. L'Aquila, Italia) Architecture-based testing <Clinton L. Jeffery (New Mexico State U.) Program Monitoring, Alamo (download) Bingchiang Jeng (National Sun Yat-sen U., Taiwan) Testing Bob Jenkins jenny - combinatorial testing (download)Thierry Jéron (IRISA/INRIA, France) < Formal methods in testing Jean-Marc Jezequel (IRISA, France) UML/OO Testing UMLAUT (download) TGV (download) triskellBengt Jonsson (Uppsala U., Sweden) Automated Testing Jeffrey J. Joyce (U. British Columbia, Canada) Security testing, formal methods in testing Paul L. Juell North Dakota State University, AI, distance education, teaching methodsWilliam S. (Bill) Junk (U. Idaho) Software Testing Mariam Kamkar (Linköpings universitet, Sweden) Software Testing and Analysis Jon Edvardsson. A Survey on Automatic Test Data Generation Erik Kamsties (IESE, German) Testing Cem Kaner (Florida Institute of Tech) Software TestingLeow Wee Kheng (National University of Singapore) OO test generation Philip Koopman (CMU) Ballista: Robustness testing of Off-The-Shelf Software Bogdan Korel (Illinois Institute of Technology) Test data generation David Kung (University of Texas at Arlington) OO TestingYong Rae Kwon (Korea Advanced Institute of Science and Technology, Korea) Real-time testing Monica Lam (Stanfrod U.) Diduce (download) Jim L arus (Microsoft Research) Mining and debugging specifications Mark Last (Ben-Gurion U., Israel) Data mining and software testing Info-Fuzzy Network (IFN) (download) Software quality Engineering/Data Mining (SQE/DM) Laboratory Gilbert Laycock (U. Leicester) Software testing Gary T. Leavens (Iowa State U.) Test verification based on specifications, JML (download) David Lee (Bell Labs, Beijing, China) Formal methods in testing Insup Lee (U Penn) Model-based Test Generation Test Suite for Realtime Java Run-time monitoring and checking Bruno Legeard () Constraint-based test generation, BZ-Testing-Tools , Jeff Lei (U. Texas, Arlington) Concurrent Testing Hareton K.N. Leung (Hong Kong Polytechnic U.) Regression Testing, Testing Nancy Leveson (MIT) System and Software Safety <Donglin Liang (U. Minnesota) Analysis for Testing Ben Liblit (UC Berkley) The Cooperative Bug Isolation Project Richard Lipton (Georgia Tech) Mutation Testing Bev Littlewood (City U., UK) Software Tesing and Reliability Shaoying Liu (Hosei U., Japan) >SOFL TestingYashwant K. Malaiya (Colorado State U.) Testing & Reliability Y. S. Ma (KAIST, Korea) Mutation testing Gaudel Marie-Claude (U. Paris-Sud, France) Algebraic Spec-Based Testing Brian Marick (Testing Foundations) GCT (download) GCT2 (download) Aditya P. Mathur (Purdue U.) Testing Distributed Software Testing Savi Maharaj (U. Stirling, UK) Test Case Extraction from Correctness Proofs PapersDarko Marinov (UIUC) Specification-based OO testing, Mulsaw Sjouke Mauw (Eindhoven U. of Technology, NL) Formal methods in testingPeter M. Maurer (Baylor U.) DGL Manual DGL (download) John McGregor ( Clemson U. ) Component Testing, Product Line Testing korson-mcgregor Il-Hyung Cho Gary E. McGraw (Cigital) Testing Karl Meinke (Nada, Sweden) Software Test Bench mutation testing online mutation testing bibliography mutation tool xjobb Michael Meisinge (Technische Universität München, Germany) UML-based testing, State machine testing Atif Memon (U. Maryland) GUI Testing and Web Testing Amir M ichail (UNSW, Australia) Stabilizer - Quickly Stabilizing Buggy GUI Applications Ana Milanova (RPI) Analysis for testing John Morris (U. Western Australia) Test Pattern Verifier Henry Muccini (U. L'Aquila, Italy) Software Architecture and Testing John Munson (U. Idaho) Software Testing Branson W. Murrill (Virginia Commonwealth U.) Perturbation-based Testing John D. Musa (Independent Consultant) Software ReliabilityMadan Musuvathi (Microsoft Research) Testing, Verification and Measurement Clémentine Nebut (Inria, France) Product line testing Rocco De Nicola (Università degli Studi di Firenze, Italy) Formal method in testingBrian Nielsen (Aalborg U., Denmark) Automated testing Jeff Offutt (George Mason U.) Spec-based Testing ATDG Mutation >SpecTest Evaluation of Testing Criteria Aynu couptool aynur Kurt M. Olender (HP) Algebraic-Spec Testing Alex Orso (Georgia Tech) OO Testing, InsECT (Download) Instrumentation, Execution, and Coverage/profiling Tool for Java Tom Ostrand (AT&T Labs Research) Ioannis Parissis (U. Joseph Fourier / LSR-IMAG, France) TestingDoron A. Peled (U. Warwick, UK) Formal methods in testings Dennis Peters (McMaster U., Canada) Real-time system testingPaul Pettersson (U. Uppsala, Sweden) Uppaal (download) Test Generator (download) Automated Testing Cécile Péraire (Swiss Federal Institute of Technology, Sweden) OO Testing Alexander Petrenko (Russian Academy of Sciences, Russia) Atssoft J@T unitesk RedVerst (specification-based test generation) Bret Pettichord (Tivoli Systems) Test Automation Mauro Pezzè (U. degli Studi di Milano, Italy) Testing Andy Podgurski (Case Western Reserve U.) Testing and reliability, Observation-based testing Lori L. Pollock (U. Delware) OO Testing Adam Porter (U. Maryland) Testing Alexander Pretschner (Technische U., Germany) Model-based Testing Pretschner; Constraint Based ATDG (within AutoFocus Robert L. Probert (U. Ottawa, Canada) Protocol testing, E-commerce testing, security testing. Syed (Shawon) Mujibor Rahman, University of Wisconsin-Platteville, Software Engineering education, testing, QA, and Lightweight software development methodologySteve Reiss ( Brown U. ) Dynamic Analysis, Fault localization Debra Richardson (UC Irvine) DAS-BOOT Architecture-based Testing Projects and tools adlscope (download) TAOS Analysis and Testing ROSATEA H arry Robinson () Model-based testing Marc Roper (U. Strathclyde, Scotland) Testing Publications David Rosenblum (UC Irvine) >Component Testing Grigore Rosu (UIUC) Runtime Verification Java-MoP(download) Java MultiPathExplorer: (JMPaX) (download) Gregg Rothermel (Oregon State U.) Regression Testing Nasko Rountev ( Ohio State U. ) OO Testing PublicationsJohn Rowland (U. Wyoming) Testing theoryPeter Rüppel (Technische U., German) OO TestingJohn Rushby (SRI International) Model checker to generate tests Barbara G. Ryder (Rutgers U.) OO Testing Padmanabhan (Peter) Santhanam (IBM Research) Software testing Wolfram Schulte (MSR) Spec-Based Testing, AsmL (download) Stephen R. Schach (Vanderbilt U.) TestingDouglas C. Schmidt ( Vanderbilt U. ) Distributed system testing Timothy J Shimeall (Naval Postgraduate School) Testing Riccardo Sisto (Polytechnic of Torino, Italy) Testing theory Yannis Smaragdakis (Georgia Tech) Automated Test Generation, Jcrasher (download) Neelam Soundarajan (OSU) OO Testing, Component Testing
Amie Souter (Drexel U.) OO Testing Gene Spafford ( Purdue U. ) Debugging Bernhand Steffen (U. Dortmund, Germany) Model generation, web testing, regression testingPhil Stocks (Bond U. Australia) Formal methods in software testing Scott Stoller (SUNY) Concurrent Java Testing David Stotts (UNC) An Informal Formal Method for Systematic JUnit Test Case Generation < pubs, lindsey, Jax, jax testing Lorenzo Strigini (City U., UK) Software Testing Paul Strooper (Queensland's U, Australia) Practical Tools and Techniques for Testing Concurrent Software Components: TestCon (download)Neeraj Suri (Chalmers U. Technology, Sweden) PROPANE (Propagation Analysis Environment) Jan Tretman (U. Twente, The Netherlands) FMT group at utwente.nl TorXT.H. Tse (U. Hong Kong, China) Testing papers Testing projectsRoland Untch (Middle Tennessee State U.) Software Testing Shmuel Ur (IBM Research) Hasan Ural (U. Ottawa, Canada) Validation Tools Dataflow testing Mark Utting (U.Waikato, ) Testing Tool based on B & Z (BZTT) BZ-TT (download) Margus Veanes (MSR) Spec-Based Testing, AsmL (download) Willem Visser (NASA) Model checking and testing, Java PathFinder Jeffrey Voas (Cigital Labs, Adjunct Prof. West Virginia U.) Testing Filippos I. Vokolos ( Drexel U. ) Regression testing, performance testing, database testing Mladen A. Vouk (North Carolina State U.) testing, reliability, fault-tolerance Bruce W. Weide (Ohio State U.) Component Testing, Modular Regression Testing Elaine Weyuker (AT&T Lab) Testing Lee J. White (CWRU) Software Testing James A. Whittaker (Florida Institute of Technology) Software Testing and Reliability Denise M. Woit (Ryerson Polytechnic U.) Software Testing and Reliability Alexander L. Wolf (U. Colorado) Test code generation, architectural testing Rutherfo W. Eric Wong (UT Dallas) Testing Telcordia Software Visualization and Analysis Toolsuite Xsuds - TelecordiaMartin Woodward (U. Liverpool, UK) Software Testing Ye Wu (George Mason U.) OO Testing, Component TestingMin Xie (National U. of Singapore, Singapore) Software reliability Tao Xie (U. Washington) Dynamic program behavior inference and software testing Baowen Xu (Southeast University, China) Software TestingMihalis Yannakakis (Columbia U.) Automata testing Michal Young (U. Oregon) Perpetual Testing Gretel (download) PaceMaker Brew >Java Protocols Project Steven Zeil (Old Dominion U.) Testing and Reliability Marvin Zelkowitz (U. Maryland) Security testing Andreas Zeller (U. des Saarlandes, German) Eclipse delta debugging Delta Debugging Memgraphs Jianjun Zhao (Fukuoka Institute of Tech, Japan) Afanti--Analysis and Testing of Aspect-Oriented Software Mohammad Zulkernine (Queens U., Canada) Software Reliability Engineering Stuart H. Zweben (Ohio State U.) OO Testing
make money online
