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

sjgallers library [304 articles]

Nye artikler sendt til sjgallers bibliotek.
  • 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 (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 *****
  • Automatically Generating Abstractions for Planning
    Artificial Intelligence, Vol. 68, No. 2. (1994), pp. 243-302.
    by Craig A Knoblock
    posted to softnet planning by sjgaller on 2008-07-01 09:21:09 as ** along with 1 person cyph3r
  • 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
  • Purity and Side Effect Analysis for Java Programs
    Verification, Model Checking, and Abstract Interpretation (2005), pp. 199-215.
    by Alexandru Sălcianu, Martin Rinard
    posted to static-analysis softnet purity-analysis java design-by-contract by sjgaller on 2008-06-30 07:34:33 as ** along with 1 group Desgin-by-Contract
  • Precise Analysis of String Expressions
    Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings (2003), pp. 1076-1076.
    by Aske S Christensen, Anders Møller, Michael I Schwartzbach
    posted to test-data-generation static-analysis softnet project-stringgeneration by sjgaller on 2008-06-04 08:45:00 as ** along with 2 people keigoi haberman
  • Issues in Testing Dependable Event-Based Systems at a Systems Integration Company
    Availability, Reliability and Security, 2007. ARES 2007. The Second International Conference on (2007), pp. 1093-1100.
    by Armin Beer, Matthias Heindl
    posted to testin test-data-generation softnet by sjgaller on 2008-06-03 15:03:05 as **
  • 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 **
  • satisfiability modulo theories
    Vol. 21, No. 6. (2006), pp. 71-81.
    by S Ranise, C Tinelli
    edited by Trends
    posted to softnet satisfiability-modulo-theories satisfiability by sjgaller on 2008-06-02 13:03:29 as **
  • Search-based software test data generation for string data using program-specific search operators: Research Articles
    Softw. Test. Verif. Reliab., Vol. 16, No. 3. (September 2006), pp. 175-203.
    by Mohammad Alshraideh, Leonardo Bottaci
    posted to test-data-generation string-generation softnet by sjgaller on 2008-05-29 09:16:43 as **
  • Fast and automated generation of attack signatures: a basis for building self-protecting servers
    (2005), pp. 213-222.
    by Zhenkai Liang, R Sekar
    posted to test-data-generation string-generation softnet by sjgaller on 2008-05-29 09:13:59 as read
  • Search-based software engineering
    Information and Software Technology, Vol. 43, No. 14. (15 December 2001), pp. 833-839.
    by Mark Harman, Bryan F Jones
    posted to softnet by sjgaller on 2008-05-29 09:06:25 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 **
  • JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML
    (June 2008)
    by P Chalin, PR James, George Karabotsos
    posted to softnet jml4 jml by sjgaller on 2008-05-29 07:47:37 as read
  • Mining object behavior with ADABU
    (2006), pp. 17-24.
    by Valentin Dallmeier, Christian Lindig, Andrzej Wasylkowski, Andreas Zeller
    posted to softnet by sjgaller on 2008-05-23 08:25:41 as read
  • 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 **
  • 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 **
  • Fast color-independent ball detection for mobile robots
    (2004)
    by S Mitri, K Pervlz, H Surmann, A Nchter
    posted to vision robocup color-independent-vision by sjgaller on 2008-05-09 12:11:40 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 **
  • From Vision to Realtime Motion Control for the RoboCup Domain
    Control Applications, 2007. CCA 2007. IEEE International Conference on (2007), pp. 545-550.
    by D Bruijnen, W Aangenent, J van Helvoort, R van de Molengraft
    posted to vision robocup by sjgaller on 2008-05-07 09:02:02 as **
  • Vision-based fast and reactive Monte-Carlo localization
    Robotics and Automation, 2003. Proceedings. ICRA '03. IEEE International Conference on, Vol. 1 (2003), pp. 856-861 vol.1.
    by T Rofer, M Jungel
    posted to vision robocup by sjgaller on 2008-05-07 09:00:58 as **
  • SMT-COMP: Satisfiability Modulo Theories Competition
    Computer Aided Verification (2005), pp. 20-23.
    by Clark Barrett, Leonardo de Moura, Aaron Stump
    posted to satisfiability-modulo-theories softnet by sjgaller on 2008-05-06 13:46:22 as read
  • Efficient E-Matching for SMT Solvers
    Automated Deduction – CADE-21 (2007), pp. 183-198.
    by Leonardo de Moura, Nikolaj Bjørner
    posted to z3 softnet satisfiability-modulo-theories satisfiability constraint-problem by sjgaller on 2008-05-05 08:29:45 as read
  • Z3: An Efficient SMT Solver
    Tools and Algorithms for the Construction and Analysis of Systems (2008), pp. 337-340.
    by Leonardo de Moura, Nikolaj Bjørner
    posted to z3 softnet satisfiability-modulo-theories satisfiability constraint-problem by sjgaller on 2008-05-05 08:26:40 as read
  • JML reference manual
    (2002)
    by G Leavens, E Poll, C Clifton, Y Cheon, C Ruby
    posted to specification softnet jml by sjgaller on 2008-04-30 14:59:44 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 **
  • Alloy: a lightweight object modelling notation
    ACM Trans. Softw. Eng. Methodol., Vol. 11, No. 2. (April 2002), pp. 256-290.
    by Daniel Jackson
    posted to testera specification softnet by sjgaller on 2008-04-30 14:42:21 as ** along with 4 people asilva bfraser leonardo phoenix
  • Simplify: a theorem prover for program checking
    J. ACM, Vol. 52, No. 3. (May 2005), pp. 365-473.
    by David Detlefs, Greg Nelson, James B Saxe
    posted to theorem-prover softnet by sjgaller on 2008-04-30 14:37:06 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 **
  • Game Models for Open Systems
    Verification: Theory and Practice (2004), pp. 269-289.
    by Luca de Alfaro
    posted to games reading-group-testing softnet by sjgaller on 2008-04-07 16:27:18 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
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/sjgaller

    Result page: 1 2 3 4 5 6 7 Next RIS BibTeX RSS
    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.