Registrer deg | Logg på | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: Context-driven-testers - with tag testing [312 articles]

Nye artikler sendt inn av medlemmer i Context-driven-testers -gruppen with tag testing
  • Case studies on fault detection effectiveness of model based test generation techniques
    Vol. 30, No. 4. (July 2005), pp. 1-7.
    by Amit Paradkar
    posted to testing test-case-generation specification-based-testing softnet model-based-testing case-study by sjgaller to the group Context-driven-testers on 2007-09-21 08:25:31 as ** along with 1 person and 2 groups jolilius TUCS-ES_Lab Desgin-by-Contract
  • Combining test case generation and runtime verification
    Theoretical Computer Science, Vol. 336, No. 2-3. (26 May 2005), pp. 209-234.
    by Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Rich Washington
    posted to verification testing test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-08-28 07:22:59 as ** along with 3 people and 2 groups jolilius lcigler joaoarthurbm TUCS-ES_Lab Desgin-by-Contract
  • Generalized Symbolic Execution for Model Checking and Testing
    Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings, Vol. 2619/2003 (19 February 2003), pp. 553-568.
    by Sarfraz Khurshid, Corina S Pasareanu
    posted to testing symbolic-execution specification-based-testing specification softnet model-checker by sjgaller to the group Context-driven-testers on 2007-08-13 12:53:34 as *** along with 2 people and 1 group nigno bfraser Desgin-by-Contract
  • Mock-object generation with behavior
    (2006), pp. 365-368.
    by Nikolai Tillmann, Wolfram Schulte
    posted to unit-testing testing softnet mock by sjgaller to the group Context-driven-testers on 2007-08-10 14:56:36 as read along with 1 group Desgin-by-Contract
  • Working Effectively with Legacy Code
    (2004)
    by Michael Feathers
    posted to testing softnet mock by sjgaller to the group Context-driven-testers on 2007-08-10 12:11:59 as read along with 1 group Desgin-by-Contract
  • Optimal strategies for testing nondeterministic systems
    SIGSOFT Softw. Eng. Notes, Vol. 29, No. 4. (July 2004), pp. 55-64.
    by Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
    posted to testing test-case-generation spec-sharp softnet games finite-state-machine by sjgaller to the group Context-driven-testers on 2007-08-10 10:04:45 as read along with 1 group Desgin-by-Contract
  • Online testing with model programs
    (2005), pp. 273-282.
    by Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
    posted to testing spec-sharp specification-based-testing softnet games finite-state-machine by sjgaller to the group Context-driven-testers on 2007-08-10 09:55:32 as read along with 1 group Desgin-by-Contract
  • Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
    (May 2005)
    by Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    posted to tools testing spec-sharp specification-based-testing softnet by sjgaller to the group Context-driven-testers on 2007-08-10 09:47:37 as read along with 1 group Desgin-by-Contract
  • Automatic mock object creation for test factoring
    (2004), pp. 49-51.
    by David Saff, Michael D Ernst
    posted to testing softnet mock by sjgaller to the group Context-driven-testers on 2007-08-09 17:15:35 as read along with 1 person and 1 group joaoarthurbm Desgin-by-Contract
  • Mock objects
    Software, IEEE, Vol. 19, No. 3. (June 2002), pp. 22-24.
    by D Thomas, A Hunt
    edited by Andy Hund, Dave Thomas
    posted to testing softnet mock by sjgaller to the group Context-driven-testers on 2007-08-09 16:10:50 as read along with 1 group Desgin-by-Contract
  • The Spec# Programming System: An Overview
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Vol. 3362/2005 (28 January 2005), pp. 49-69.
    by Mike Barnett, Leino, Wolfram Schulte
    posted to testing spec-sharp specification softnet overview c-sharp by sjgaller to the group Context-driven-testers on 2007-08-09 15:00:04 as ***** along with 1 group Desgin-by-Contract
  • Foundational Calculi for Programming Languages
    (1995), pp. 2190-2207.
    by Benjamin Pierce
    edited by Allen B Tucker
    posted to testing softnet reading-group-testing programming-languages ai by sjgaller to the group Context-driven-testers on 2007-07-19 15:16:30 as read along with 9 people and 3 groups snowman rgrig rwtodd jrw cedricboidin pintman mrkoot mfrydr ps_ttf SRG_at_UCD Desgin-by-Contract complogic
  • Contract-Based Testing
    Formal Methods at the Crossroads: From Panacea to Foundational Support, Vol. 2757/2003 (2003), pp. 34-48.
    by Bernhard K Aichernig
    posted to testing softnet formalization design-by-contract by sjgaller to the group Context-driven-testers on 2007-07-18 07:13:12 as *** along with 1 group Desgin-by-Contract
  • Preamble computation in automated test case generation using constraint logic programming
    Software Testing, Verification and Reliability, Vol. 14, No. 3. (2004), pp. 213-235.
    by Séverine Colin, Bruno Legeard, Fabien Peureux
    posted to testing test-case-generation softnet jmltt constraint-logic by sjgaller to the group Context-driven-testers on 2007-07-16 11:08:06 as read along with 1 group Desgin-by-Contract
  • Filtering TOBIAS Combinatorial Test Suites
    Fundamental Approaches to Software Engineering, Vol. 2984/2004 (1 March 2004), pp. 281-294.
    by Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron
    posted to vdm tools testing softnet jml by sjgaller to the group Context-driven-testers on 2007-07-11 16:06:31 as read along with 1 group Desgin-by-Contract
  • From daikon to agitator: lessons and challenges in building a commercial tool for developer testing
    (2006), pp. 169-180.
    by Marat Boshernitsan, Roongko Doong, Alberto Savoia
    posted to tools testing softnet daikon by sjgaller to the group Context-driven-testers on 2007-07-10 11:56:36 as ***** along with 1 group Desgin-by-Contract
  • Feedback-directed random test generation
    (2007)
    by Carlos Pacheco, Shuvendu K Lahiri, Michael D Ernst, Thomas Ball
    posted to test-input-generation testing softnet by sjgaller to the group Context-driven-testers on 2007-07-10 11:52:13 as read along with 1 group Desgin-by-Contract
  • Automatic testing of software with structurally complex inputs
    (2005)
    by Darko Marinov
    posted to testing softnet by sjgaller to the group Context-driven-testers on 2007-07-10 11:47:44 as ** along with 1 group Desgin-by-Contract
  • ClassBench: A methodology and framework for automated class testing
    Software Practice and Experience, Vol. 27, No. 5. (1997), pp. 573-597.
    by D Hoffman, P Strooper
    posted to testing softnet formalization by sjgaller to the group Context-driven-testers on 2007-07-06 12:13:19 as *** along with 1 group Desgin-by-Contract
  • DART: directed automated random testing
    Vol. 40, No. 6. (June 2005), pp. 213-223.
    by Patrice Godefroid, Nils Klarlund, Koushik Sen
    posted to testing symbolic-execution statistics softnet random-testing constraint-solving c-cpp by sjgaller to the group Context-driven-testers on 2007-06-28 12:17:18 as read along with 8 people and 2 groups cyph3r bfraser newdawn jolilius bec pfrancis ahgharaibeh joaoarthurbm TUCS-ES_Lab Desgin-by-Contract
  • Tool support for randomized unit testing
    (2006), pp. 36-45.
    by James H Andrews, Susmita Haldar, Yong Lei, Felix
    posted to tools testing softnet by sjgaller to the group Context-driven-testers on 2007-06-27 15:47:52 as **** along with 1 group Desgin-by-Contract
  • Automated Boundary Testing from Z and B
    FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002. Proceedings (2002), pp. 221-236.
    by Bruno Legeard, Fabien Peureux, Mark Utting
    posted to z testing softnet b by sjgaller to the group Context-driven-testers on 2007-06-26 14:20:32 as read along with 1 group Desgin-by-Contract
  • Software testing techniques
    (1990)
    by B Beizer
    posted to testing statistics softnet by sjgaller to the group Context-driven-testers on 2007-06-21 17:28:01 as *** along with 1 person and 1 group ferfox Desgin-by-Contract
  • Automatic test data generation using genetic algorithm and program dependence graphs
    (2004)
    by Hao Zhang
    posted to dissertation testing by tinkha to the group Context-driven-testers on 2005-08-02 16:45:24 as ** along with 1 person cemkaner
  • Integration of model checking into software development processes
    (2004)
    by Fei Xie
    posted to se testing by cemkaner to the group Context-driven-testers on 2005-08-02 05:17:04 as **
  • Empirical studies on test data generation using optimization techniques
    (2004)
    by Man Xiao
    posted to se testing by cemkaner to the group Context-driven-testers on 2005-08-02 05:15:15 as ** along with 1 person turker
  • EvoAttack-testing operating systems by learning harmful system call sequences
    (2004)
    by Timothy R Williams
    posted to se security testing by cemkaner to the group Context-driven-testers on 2005-08-02 05:13:29 as **
  • Extending the reach of statistical software testing
    (2004)
    by Robert J Weber
    posted to se testing by cemkaner to the group Context-driven-testers on 2005-08-02 05:10:52 as **
  • Automatic test-case generation from formal models of software
    (2004)
    by Sanjai Rayadurgam
    posted to formal-methods se testing by cemkaner to the group Context-driven-testers on 2005-08-02 05:08:52 as ** along with 1 person turker
  • Unified modeling language design testing and analysis
    (2004)
    by Orest J Pilskalns
    posted to se testing by cemkaner to the group Context-driven-testers on 2005-08-02 05:06:59 as **
  • A dimensionality approach to testing and improving software robustness
    (2004)
    by Jiantao Pan
    posted to se testing by cemkaner to the group Context-driven-testers on 2005-08-02 05:05:25 as **
  • Test case prioritization
    (2004)
    by Alexey G Malishevsky
    posted to se testing by cemkaner to the group Context-driven-testers on 2005-08-02 05:03:06 as **
  • A two tiered approach to methodical GUI testing
    (2004)
    by Ping Li
    posted to se testing by cemkaner to the group Context-driven-testers on 2005-08-02 05:01:17 as **
  • Software quality and reliability prediction using Dempster-Shafer theory
    (2004)
    by Lan Guo
    posted to reliability se testing by cemkaner to the group Context-driven-testers on 2005-08-02 04:58:34 as **
  • The extended operational profile model for usage-based software testing
    (2004)
    by Mechelle S Gittens
    posted to reliability se testing by cemkaner to the group Context-driven-testers on 2005-08-02 04:50:25 as **
  • Evaluating unit testing methods
    (2004)
    by Alaa A Attia
    posted to se testing unit-testing by cemkaner to the group Context-driven-testers on 2005-08-02 04:44:31 as **
  • An approach for combining unit test and integration test in OOP: Implementing JUnit to include metrics and coverage for integration testing
    (2004)
    by Yu Chen
    posted to se testing unit-testing by cemkaner to the group Context-driven-testers on 2005-08-02 04:42:11 as **
  • Program result-checking with applications
    (1990)
    by S Kannan
    posted to se testing by cemkaner to the group Context-driven-testers on 2005-08-02 04:28:24 as **
  • An experimental analysis of program verification methods.
    (1976)
    by William C Hetzel
    posted to perspective se testing by cemkaner to the group Context-driven-testers on 2005-08-02 04:23:46 as **
  • Model specification and analysis for discrete event simulation
    (1982)
    by Charles M Overstreet
    posted to se testing by cemkaner to the group Context-driven-testers on 2005-08-02 04:18:23 as **
  • Reference Model Based High Fidelity Simulation Modeling for Manufacturing Systems
    (2004)
    by Hansoo Kim
    posted to se simulation testing by cemkaner to the group Context-driven-testers on 2005-08-02 04:09:32 as **
  • A Metrics And Testing Based Software Development Environment
    (1990)
    by Chung Yung
    posted to measurement se testing by cemkaner to the group Context-driven-testers on 2005-08-02 04:02:57 as **
  • Reachability Analysis of Feature Interactions in Service-Oriented Software Systems
    (1996)
    by Keith P Pomakis
    posted to reliability se testing by cemkaner to the group Context-driven-testers on 2005-08-02 03:59:41 as **
  • Testing of a Computer Program on the Example of a Medical Application with Diversification and other Methods
    (1996)
    by Melzer Ingo
    posted to safety se testing by cemkaner to the group Context-driven-testers on 2005-08-02 03:30:07 as **
  • Module and Protocol Testing in Software Quality Assurance
    (1995)
    by Petri Kuusela
    posted to protocol se testing by cemkaner to the group Context-driven-testers on 2005-08-02 03:27:16 as **
  • High Level Test Generation Using Software Testing Metrics
    (1995)
    by Mark W Johnson
    posted to measurement se testing by cemkaner to the group Context-driven-testers on 2005-08-02 03:24:59 as **
  • Testing of Object Oriented Software Using Formal Specifications
    (1995)
    by Rohan Fletcher
    posted to object-oriented se specification testing by cemkaner to the group Context-driven-testers on 2005-08-02 03:22:04 as **
  • Automated Generation of High Integrity Test Suites from Graphical Specifications
    (2002)
    by Simon Burton
    posted to se specification testing by cemkaner to the group Context-driven-testers on 2005-08-02 03:18:59 as **
  • Specification Based Testing
    (1995)
    by Darren Buttle
    posted to se specification testing by cemkaner to the group Context-driven-testers on 2005-08-02 03:16:30 as **
  • Controlling state explosion in reachability analysis
    (1993)
    by Wei J Yeh
    posted to se testing by cemkaner to the group Context-driven-testers on 2005-08-02 03:11:53 as **
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/group/162/tag/testing

    Result page: 1 2 3 4 5 6 7 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.