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

Group: Context-driven-testers - library [533 articles]

Nye artikler sendt inn av medlemmer i Context-driven-testers -gruppen
  • 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
  • A behavioral notion of subtyping
    ACM Trans. Program. Lang. Syst., Vol. 16, No. 6. (November 1994), pp. 1811-1841.
    by Barbara H Liskov, Jeannette M Wing
    posted to specification softnet behavioral-specification by sjgaller to the group Context-driven-testers on 2007-09-20 09:38:26 as ** along with 4 people and 1 group ekshaks leonardo rodrigotex gjuggler Desgin-by-Contract
  • The Architecture of JML4, a Proposed Integrated Verification Environment for JML
    (2007)
    by Patrice Chalin, Perry James, George Karabotsos
    posted to verification specification softnet jml4 jml java by sjgaller to the group Context-driven-testers on 2007-09-19 14:39:06 as read along with 1 group Desgin-by-Contract
  • An Integrated Verification Environment for JML: Architecture and Early Results
    (September 2007)
    by Patrice Chalin, Perry R James, George Karabotsos
    posted to verification specification softnet jml4 jml java by sjgaller to the group Context-driven-testers on 2007-09-19 14:34:24 as read along with 1 group Desgin-by-Contract
  • Constraint Processing
    (2003)
    by Rina Dechter
    edited by Denise Penrose
    posted to softnet constraint-solving constraint-logic by sjgaller to the group Context-driven-testers on 2007-09-19 06:54:45 as **** along with 1 group Desgin-by-Contract
  • Anzu: A Tool for Property Synthesis
    Computer Aided Verification (2007), pp. 258-262.
    by Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, Roderick Bloem
    posted to synthesis specification case-study automatic by sjgaller to the group Context-driven-testers on 2007-09-19 06:43:40 as read along with 1 group Desgin-by-Contract
  • 1 Constraint and Constraint Solving: An Introduction
    Constraints in Computational Logics: Theory and Applications, Vol. 2002/2001 (19.02.2004 2001), 1.
    by Jean-Pierre Jouannaud, Ralf Treinen
    posted to softnet constraint-solving constraint-logic by sjgaller to the group Context-driven-testers on 2007-09-14 14:39:23 as ***** along with 1 group Desgin-by-Contract
  • JAG : J ML A nnotation G eneration for Verifying Temporal Properties
    Fundamental Approaches to Software Engineering (2006), pp. 373-376.
    by Alain Giorgetti, Julien Groslambert
    posted to temporal-logic specification-generation specification softnet jml java by sjgaller to the group Context-driven-testers on 2007-09-11 07:17:02 as ** along with 1 group Desgin-by-Contract
  • Mutation Testing in UTP
    Under consideration for publication in Formal Aspects of Computing (2007)
    by Bernhard K Aichernig, Jifeng He
    posted to softnet reading-group-testing mutation-testing by sjgaller to the group Context-driven-testers on 2007-09-05 10:05:51 as ***** along with 1 group Desgin-by-Contract
  • Measuring a Java Test Suite Coverage Using JML Specifications
    Electronic Notes in Theoretical Computer Science, Vol. 190, No. 2. (31 August 2007), pp. 21-32.
    by F Dadeau, Y Ledru, L du Bousquet
    posted to softnet jml java code-coverage by sjgaller to the group Context-driven-testers on 2007-08-30 07:55:11 as ** along with 1 group Desgin-by-Contract
  • Automated Test Data Generation with SAT
    (2005)
    by R Seater, G Dennis
    posted to test-input-generation softnet by sjgaller to the group Context-driven-testers on 2007-08-28 12:41:07 as ***** along with 1 group Desgin-by-Contract
  • Automated Software Test Data Generation for Complex Programs
    (13-16 October 1998), pp. 136-146.
    by C Michael, G Mcgraw
    posted to test-input-generation softnet by sjgaller to the group Context-driven-testers on 2007-08-28 12:34:18 as ** along with 1 person and 1 group joaoarthurbm Desgin-by-Contract
  • ATGen: automatic test data generation using constraint logic programming and symbolic execution
    Software Testing Verification and Reliability, Vol. 11, No. 2. (2001), pp. 81-96.
    by C Meudec
    posted to test-input-generation softnet constraint-logic by sjgaller to the group Context-driven-testers on 2007-08-28 07:29:37 as read along with 1 group 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
  • PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
    Dependable Computing - EDCC 2005, Vol. 3463/2005 (31 March 2005), pp. 281-292.
    by Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger
    posted to test-case-generation softnet constraint-solving c-cpp by sjgaller to the group Context-driven-testers on 2007-08-27 09:41:50 as read along with 1 group Desgin-by-Contract
  • A survey on automatic test data generation
    (October 1999), pp. 21-28.
    by Jon Edvardsson
    posted to test-input-generation softnet overview by sjgaller to the group Context-driven-testers on 2007-08-27 09:39:40 as read along with 3 people and 1 group cyph3r elvinado joaoarthurbm Desgin-by-Contract
  • Constraint-Based Automatic Test Data Generation
    IEEE Trans. Softw. Eng., Vol. 17, No. 9. (September 1991), pp. 900-910.
    by Richard A Demillo, Jefferson A Offutt
    posted to test-input-generation softnet constraint-solving by sjgaller to the group Context-driven-testers on 2007-08-27 08:42:52 as **** along with 2 people and 1 group lcigler joaoarthurbm Desgin-by-Contract
  • Diagnosing multiple faults
    Artif. Intell., Vol. 32, No. 1. (April 1987), pp. 97-130.
    by J de Kleer, BC Williams
    posted to reading-group-testing diagnostic by sjgaller to the group Context-driven-testers on 2007-08-17 13:06:37 as ***** along with 1 person and 1 group gvdh Desgin-by-Contract
  • Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
    FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume II, Vol. 1709/1999 (1999), pp. 73-73.
    by Gary T Leavens, Albert L Baker
    posted to softnet larch design-by-contract by sjgaller to the group Context-driven-testers on 2007-08-17 07:15:32 as read along with 1 group Desgin-by-Contract
  • A Runtime Assertion Checker for the Java Modeling Language
    (2003)
    by Yoonsik Cheon, Gary T Leavens
    posted to softnet jml java design-by-contract by sjgaller to the group Context-driven-testers on 2007-08-16 16:27:53 as read along with 1 group Desgin-by-Contract
  • Model Checking Programs
    Automated Software Engineering, Vol. 10, No. 2. (1 April 2003), pp. 203-232.
    by Willem Visser, Klaus Havelund, Guillaume Brat, Seungjoon Park, Flavio Lerda
    posted to verification symclat softnet model-checker java-path-finder by sjgaller to the group Context-driven-testers on 2007-08-16 13:39:28 as *** along with 3 people and 1 group leonardo citeilike yuichi0619 Desgin-by-Contract
  • Generating test data for branch coverage
    Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on (2000), pp. 219-227.
    by N Gupta, AP Mathur, ML Soffa
    posted to test-input-generation softnet by sjgaller to the group Context-driven-testers on 2007-08-14 08:56:55 as read along with 1 group 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
  • Inferring Object Invariants: Extended Abstract.
    Electronic Notes in Theoretical Computer Science, Vol. 131 (2005), pp. 63-74.
    by Bor Y Chang, Leino
    posted to spec-sharp specification softnet by sjgaller to the group Context-driven-testers on 2007-08-10 07:57:48 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
  • Unit testing aspectual behavior
    (2005)
    by CV Lopes, T Ngo
    posted to unit-testing softnet mock jamlunit jaml by sjgaller to the group Context-driven-testers on 2007-08-09 16:56:17 as **** along with 1 group Desgin-by-Contract
  • Automatically Generating System Mock Objects
    (July 2001)
    by Asim Jalis, Lance Kind
    posted to unit-tests softnet mock by sjgaller to the group Context-driven-testers on 2007-08-09 16:42:20 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
  • A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
    Vol. 4590 (2007), pp. 37-37.
    by Gary T Leavens, Joseph R Kiniry, Erik Poll
    edited by Werner Damm, Holger Hermanns
    posted to verification softnet jml java by sjgaller to the group Context-driven-testers on 2007-08-09 15:51:46 as **** along with 1 group Desgin-by-Contract
  • Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution
    IEEE Softw., Vol. 23, No. 4. (July 2006), pp. 38-47.
    by Nikolai Tillmann, Wolfram Schulte
    posted to unit-tests symbolic-execution spec-sharp specification softnet mock by sjgaller to the group Context-driven-testers on 2007-08-09 15:41:01 as read along with 1 group Desgin-by-Contract
  • Parameterized unit tests
    (2005), pp. 253-262.
    by Nikolai Tillmann, Wolfram Schulte
    posted to unit-tests test-input-generation symbolic-execution softnet constraint-solving by sjgaller to the group Context-driven-testers on 2007-08-09 15:34:56 as read along with 2 people and 1 group jweslley joaoarthurbm 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
  • Endo-testing: unit testing with mock objects
    (2001), pp. 287-301.
    by Tim Mackinnon, Steve Freeman, Philip Craig
    posted to unit-tests softnet mock by sjgaller to the group Context-driven-testers on 2007-08-09 14:42:18 as read along with 1 person and 1 group bfraser Desgin-by-Contract
  • Design By Contract for Java - Revised
    (April 2007)
    by Johannes Rieken
    posted to tool softnet java design-by-contract by sjgaller to the group Context-driven-testers on 2007-08-06 13:09:03 as * along with 1 group Desgin-by-Contract
  • Bounded model checking
    Advances in Computers, Vol. 58 (2003)
    by A Biere, A Cimatti, E Clarke, O Strichman, Y Zhu
    posted to softnet reading-group-testing model-checker by sjgaller to the group Context-driven-testers on 2007-08-06 09:07:26 as ***** along with 2 people and 1 group bfraser voronov Desgin-by-Contract
  • Test Generation with Inputs, Outputs, and Quiescence
    (1996), pp. 127-146.
    by Jan Tretmans
    posted to test-case-generation softnet reading-group-testing by sjgaller to the group Context-driven-testers on 2007-07-19 15:27:48 as ***** along with 2 people and 1 group HaraldBrandl sidney 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
  • Specifying and checking method call sequences of Java programs
    Software Quality Journal, Vol. 15, No. 1. (March 2007), pp. 7-25.
    by Cheon Yoonsik, Perumandla Ashaveena
    posted to softnet jml by sjgaller to the group Context-driven-testers on 2007-07-12 16:43:31 as **** along with 1 group Desgin-by-Contract
  • JML-based verification of liveness properties on a class in isolation
    (2006), pp. 41-48.
    by Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
    posted to verification temporal-logic softnet by sjgaller to the group Context-driven-testers on 2007-07-11 17:39:37 as **** 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
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/group/162/library

    Result page: 1 2 3 4 5 6 7 8 9 10 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.