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

sjgallers testing [84 articles]

Artikler nylig sendt til sjgallers bibliotek klassifisert med nøkkelordet testing. You can also see everyone's testing.
  • A JML Compiler Based on AspectJ
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 541-544.
    by H Rebelo, R Lima, M Cornelio, S Soares
    posted to testing softnet jml aspectj by sjgaller on 2008-08-13 09:33:42 as *****
  • Model-Based Testing of Automotive Systems
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 485-493.
    by E Bringmann, A Kramer
    posted to testing softnet case-study by sjgaller on 2008-08-13 09:32:47 as *****
  • Contract-Based Verification for Aspect-Oriented Refactoring
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 180-189.
    by N Ubayashi, Jinji Piao, S Shinotsuka, T University
    posted to testing softnet design-by-contract by sjgaller on 2008-08-13 09:30:40 as *****
  • Evaluating Automated Unit Testing in Sulu
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 62-71.
    by RP Tan, S Edwards
    posted to unit-testing testing softnet by sjgaller on 2008-08-13 09:26:39 as *****
  • Generation of All-Paths Unit Test with Function Calls
    icst, Vol. 0 (2008), pp. 32-41.
    by Patricia Mouy, Bruno Marre, Nicky Willams, Pascale Le Gall
    posted to testing softnet by sjgaller on 2008-08-13 09:22:14 as ***** along with 1 person cyph3r
  • Efficient Test Data Generation for Variables with Complex Dependencies
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 3-11.
    by A Beer, S Mohacsi
    posted to testing test-data-generation softnet by sjgaller on 2008-08-13 09:20:00 as ***** along with 1 person cyph3r
  • Isolating relevant component interactions with JINSI
    (2006), pp. 3-10.
    by Alessandro Orso, Shrinivas Joshi, Martin Burger, Andreas Zeller
    posted to testing softnet project-automaticmocking mock by sjgaller on 2008-08-08 13:20:47 as ***** along with 1 person RalfMitschke
  • A specification language design for the Java Modeling Language (JML) using Java 5 annotations
    (June 2008)
    by Kristina B Taylor
    posted to testing softnet jml5 jml by sjgaller on 2008-07-02 17:04:57 as read
  • Pex–White Box Test Generation for .NET
    Tests and Proofs (April 2008), pp. 134-153.
    by Nikolai Tillmann, Jonathan de Halleux
    posted to testing softnet pex constraint-problem by sjgaller on 2008-07-02 12:32:18 as **
  • A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs
    (9-11 April 2008)
    by Myoung Y Kim, Yoonsik Cheon
    posted to testing test-data-generation softnet jml jet genetic-algorithm design-by-contract by sjgaller on 2008-07-01 15:27:15 as *****
  • Hierarchical GUI Test Case Generation Using Automated Planning
    IEEE Trans. Softw. Eng., Vol. 27, No. 2. (2001), pp. 144-155.
    by Atif M Memon, Martha E Pollack, Mary L Soffa
    posted to testing test-data-generation softnet project-planning planning by sjgaller on 2008-07-01 09:19:17 as *****
  • System Testing with an AI Planner
    (1995)
    by Richard T Mraz, Adele Howe, Anneliese von Mayrhauser, Li Li
    posted to testing test-data-generation softnet project-planning planning by sjgaller on 2008-07-01 09:13:02 as ***** along with 1 person cyph3r
  • Automatic Testing through Planning
    (2005)
    by Andreas Leitner, Roderick Bloem
    posted to testing test-data-generation softnet project-planning planning by sjgaller on 2008-06-03 14:13:57 as ***** along with 1 person cyph3r
  • ARTOO: Adaptive Random Testing for Object-Oriented Software
    (May 2008)
    by I Ciupa, A Leitner, M Oriol, B Meyer
    posted to testing test-data-generation softnet random-testing eiffel by sjgaller on 2008-06-03 14:09:59 as **
  • test automation meets static analysis
    (2007)
    by Jan Peleska, Helge Löding, Tatiana Kotas
    posted to white-box-testing testing static-analysis softnet by sjgaller on 2008-06-03 14:02:26 as read
  • Model-based Testing using Quantified CSPs: A Map
    (2008)
    by Martin Sachenbacher, Stefan Schwoon
    posted to testing softnet constraint-problem by sjgaller on 2008-06-03 13:41:22 as read
  • Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented Systems
    Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 (2007), pp. 3-12.
    by Xianghua Deng, Robby, John Hatcliff
    posted to testing softnet by sjgaller on 2008-06-02 14:56:29 as **
  • A Test Data Generation Tool for Unit Testing of C Programs
    (2006)
    by Zhongxing Xu, Jian Zhang
    posted to testing test-data-generation softnet constraint-problem by sjgaller on 2008-05-29 09:02:19 as **
  • Integrating Random Testing with Constraints for Improved Efficiency and Diversity
    (February 2008)
    by Yoonsik Cheon, Antonio Cortes, Martine Ceberio, Gary T Leavens
    posted to testing test-data-generation softnet constraint-problem by sjgaller on 2008-05-23 08:19:22 as read
  • jMock: supporting responsibility-based design with mock objects
    (2004), pp. 4-5.
    by Steve Freeman, Tim Mackinnon, Nat Pryce, Joe Walnes
    posted to testing softnet project-automaticmocking mock jmock by sjgaller on 2008-05-20 13:52:01 as **
  • Unit testing in multi-agent systems using mock agents and aspects
    (2006), pp. 83-90.
    by Roberta Coelho, Uirá Kulesza, Arndt von Staa, Carlos Lucena
    posted to testing softnet project-automaticmocking mock by sjgaller on 2008-05-20 13:49:58 as *****
  • Mock roles, objects
    (2004), pp. 236-246.
    by Steve Freeman, Tim Mackinnon, Nat Pryce, Joe Walnes
    posted to tool testing softnet project-automaticmocking mock jmock by sjgaller on 2008-05-20 13:46:03 as ***** along with 3 people and 2 groups teresadaniela lanubile marioscalas Desgin-by-Contract CDG
  • Mock object creation for test factoring
    (2004), pp. 49-51.
    by David Saff, Michael D Ernst
    posted to testing softnet project-automaticmocking mock automatic-testing by sjgaller on 2008-05-16 14:36:22 as *****
  • Generating software test data by evolution
    Software Engineering, IEEE Transactions on, Vol. 27, No. 12. (2001), pp. 1085-1110.
    by CC Michael, G Mcgraw, MA Schatz
    posted to testing test-data-generation softnet genetic-algorithm by sjgaller on 2008-05-16 09:04:11 as ** along with 1 person cyph3r
  • An automated framework for structural test-data generation
    Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on (1998), pp. 285-288.
    by N Tracey, J Clark, K Mander, J Mcdermid
    posted to testing test-data-generation softnet code-coverage by sjgaller on 2008-05-16 09:02:55 as ** along with 1 person joaoarthurbm
  • Logical foundations of program assertions: what do practitioners want?
    Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on (2005), pp. 383-392.
    by P Chalin
    posted to testing specification-based-testing specification softnet by sjgaller on 2008-05-16 08:56:03 as **
  • 3-weight pseudo-random test generation based on a deterministic test set for combinational and sequential circuits
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 12, No. 7. (1993), pp. 1050-1058.
    by I Pomeranz, SM Reddy
    posted to testing test-data-generation softnet random-testing dynamic-weight-adaption by sjgaller on 2008-05-08 06:08:58 as **
  • Preliminary design of JML: a behavioral interface specification language for java
    SIGSOFT Softw. Eng. Notes, Vol. 31, No. 3. (May 2006), pp. 1-38.
    by Gary T Leavens, Albert L Baker, Clyde Ruby
    posted to testing specification softnet jml java by sjgaller on 2008-04-30 14:57:51 as ** along with 1 person leonardo
  • Software Testing and Analysis: Process, Principles and Techniques
    (13 April 2007)
    by Mauro Pezze, Michal Young
    posted to testing softnet by sjgaller on 2008-04-30 14:55:43 as ** along with 1 person nigno
  • Evolutionary testing of classes
    SIGSOFT Softw. Eng. Notes, Vol. 29, No. 4. (July 2004), pp. 119-128.
    by Paolo Tonella
    posted to testing softnet java by sjgaller on 2008-04-30 14:52:51 as **
  • A specification-based fitness function for evolutionary testing of object-oriented programs
    (2006), pp. 1953-1954.
    by Yoonsik Cheon, Myoung Kim
    posted to unit-tests unit-testing testing softnet jml java automatic by sjgaller on 2008-04-30 14:45:27 as **
  • TestStudio: An environment for automatic test generation based on Design by Contract
    (2004)
    by Ilinca Ciupa
    posted to testing softnet eiffel autotest by sjgaller on 2008-04-30 14:31:29 as **
  • Reconciling Manual and Automated Testing: The AutoTest Experience
    (2007)
    by Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard
    posted to testing softnet eiffel autotest automatic by sjgaller on 2008-04-30 14:24:54 as **
  • Tools for Test Case Generation
    Vol. 3472 (2004), pp. 391-438.
    by Axel Belinfante, Lars Frantzen, Christian Schallhart
    edited by Manfred Broy, Bengt Jonsson, Joost P Katoen, Martin Leucker, Alexander Pretschner, Manfred Broy, Bengt Jonsson, Joost P Katoen, Martin Leucker, Alexander Pretschner
    posted to black-box-testing overview reading-group-testing softnet survey testing tool by sjgaller on 2008-04-03 08:03:59 as read
  • Comparing TorX, Autolink, TGV and UIO Test Algorithms
    (2001), pp. 379-402.
    by N Goga
    posted to reading-group-testing softnet survey testing tool by sjgaller on 2008-04-03 07:58:11 as *****
  • The State Explosion Problem
    Lecture Notes In Computer Science (1996), pp. 429-528.
    by A Valmari
    posted to softnet state-explosion testing by sjgaller on 2008-03-12 17:41:06 as ****
  • Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation
    Tests and Proofs (2007), pp. 114-130.
    by Lisa Liu, Bertrand Meyer, Bernd Schoeller
    posted to project-effectsofmethodcalls testing softnet random-testing eiffel automatic-testing by sjgaller on 2008-03-12 16:30:26 as read
  • Adaptive Random Testing
    Advances in Computer Science - ASIAN 2004 (2004), pp. 320-329.
    by TY Chen, H Leung, IK Mak
    posted to random-testing softnet testing by sjgaller on 2008-01-14 08:46:24 as read
  • Discussion of Design Alternatives for JML Java 5 Annotations
    by Kristina P Boysen, Gary T Leavens
    posted to design-by-contract jml softnet testing by sjgaller on 2008-01-14 06:56:25 as read
  • Canica: An IDE for the Java Modeling Language
    (2006)
    by AB Perez, Y Cheon, AQ Gates
    posted to jml softnet testing tool by sjgaller on 2008-01-10 16:39:56 as *
  • Automatic Testing of Object-Oriented Software
    SOFSEM 2007: Theory and Practice of Computer Science (2007), pp. 114-129.
    by Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Liu
    posted to automatic eiffel softnet testing by sjgaller on 2008-01-10 16:19:31 as read
  • Experimental assessment of random testing for object-oriented software
    (2007), pp. 84-94.
    by Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
    posted to eiffel random-testing softnet testing by sjgaller on 2008-01-10 16:14:29 as read along with 1 person pfrancis
  • Test Case Generation as an AI Planning Problem
    Automated Software Engineering, Vol. 4, No. 1. (1 January 1997), pp. 77-106.
    by Adele E Howe, Anneliese Mayrhauser, Richard T Mraz
    posted to testing test-data-generation softnet project-planning planning by sjgaller on 2008-01-10 14:26:32 as read along with 1 person cyph3r
  • Generating test cases from an OO model with an AI planning system
    Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on (1999), pp. 250-259.
    by M Scheetz, A von Mayrhauser, R France
    posted to planning softnet test-data-generation testing by sjgaller on 2008-01-10 14:20:39 as read along with 1 person cyph3r
  • Rapid goal-oriented automated software testing using MEA-graph planning
    Software Quality Journal, Vol. 15, No. 3. (2007), pp. 241-263.
    by Manish Gupta, Jicheng Fu, Farokh Bastani, Latifur Khan, Yen
    posted to planning softnet test-data-generation testing by sjgaller on 2008-01-10 11:56:08 as ***** along with 1 person cyph3r
  • Automated test data generation using MEA-graph planning
    Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on (2004), pp. 174-182.
    by Manish Gupta, F Bastani, L Khan, IL Yen
    posted to planning softnet test-data-generation testing by sjgaller on 2008-01-10 10:26:23 as ***** along with 2 people cyph3r elvinado
  • Parameterized Unit Testing with Pex: Tutorial
    by Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte
    posted to pex softnet test-data-generation testing tool by sjgaller on 2008-01-08 13:51:41 as read
  • EXE: automatically generating inputs of death
    (2006), pp. 322-335.
    by Cristian Cadar, Vijay Ganesh, Peter M Pawlowski, David L Dill, Dawson R Engler
    posted to softnet symbolic-execution test-data-generation testing by sjgaller on 2008-01-08 13:47:26 as **** along with 3 people cyph3r pfrancis KarlKlose
  • A Theory of Predicate-Complete Test Coverage and Generation
    Formal Methods for Components and Objects (2005), pp. 1-22.
    by Thomas Ball
    posted to boolean-abstraction softnet symbolic-execution testing by sjgaller on 2008-01-08 09:52:12 as read
  • Search-based software test data generation: a survey
    Software Testing, Verification and Reliability, Vol. 14, No. 2. (2004), pp. 105-156.
    by Phil Mcminn
    posted to overview random-testing softnet survey test-data-generation testing by sjgaller on 2008-01-08 09:38:18 as read along with 2 people cyph3r nigno
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/sjgaller/tag/testing

    Result page: 1 2 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.