新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

sjgaller library [320 articles]

最近 sjgaller さんのライブラリ .
  • Challenges in Satisfiability Modulo Theories
    Term Rewriting and Applications (2007), pp. 2-18.
    by Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
    posted to testing softnet satisfiability-modulo-theories by sjgaller on 2008-09-30 17:33:06 as read
  • A Survey of New Trends in Symbolic Execution for Software Testing and Analysis
    Software Tools for Technology Transfer (8 August 2008)
    by Corina S Pasareanu, Willem Visser
    posted to testing symbolic-execution static-analysis softnet by sjgaller on 2008-09-05 15:08:54 as read
  • Sufficient mutation operators for measuring test effectiveness
    (2008), pp. 351-360.
    by Akbar S Namin, James H Andrews, Duncan J Murdoch
    posted to testing softnet mutation-testing by sjgaller on 2008-09-05 13:29:52 as read
  • The Efficiency of Critical Slicing in Fault Localization
    Software Quality Journal, Vol. 13, No. 2. (January 2005), pp. 129-153.
    by Z Al-Khanjari, M Woodward, Haider Ramadhan, N Kutti
    posted to testing static-analysis softnet mutation-testing by sjgaller on 2008-09-05 13:17:38 as read
  • Nighthawk: a two-level genetic-random unit test data generator
    (2007), pp. 144-153.
    by James H Andrews, Felix CH Li, Tim Menzies
    posted to testing softnet random-testing by sjgaller on 2008-09-05 13:08:09 as read
  • Directed test generation using symbolic grammars
    (2007), pp. 553-556.
    by Rupak Majumdar, Ru G Xu
    posted to testing softnet by sjgaller on 2008-09-05 13:06:55 as read
  • MuJava: an automated class mutation system: Research Articles
    Softw. Test. Verif. Reliab., Vol. 15, No. 2. (2005), pp. 97-133.
    by Yu S Ma, Jeff Offutt, Yong R Kwon
    posted to testing test-quality-measurment softnet mutation-testing by sjgaller on 2008-09-05 09:45:42 as read
  • 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 aspectj jml softnet testing by sjgaller on 2008-08-13 09:33:42 as read
  • 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 case-study softnet testing by sjgaller on 2008-08-13 09:32:47 as read
  • 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 design-by-contract softnet testing by sjgaller on 2008-08-13 09:30:40 as read
  • On the Predictability of Random Tests for Object-Oriented Software
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 72-81.
    by I Ciupa, A Pretschner, A Leitner, M Oriol, B Meyer
    posted to testing softnet random-testing eiffel design-by-contract by sjgaller on 2008-08-13 09:28:03 as read
  • 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 softnet testing unit-testing by sjgaller on 2008-08-13 09:26:39 as read
  • 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 softnet testing by sjgaller on 2008-08-13 09:22:14 as read 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 softnet test-data-generation testing by sjgaller on 2008-08-13 09:20:00 as read 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 mock project-automaticmocking softnet testing by sjgaller on 2008-08-08 13:20:47 as read along with 1 person RalfMitschke
  • Too darned big to test
    Queue, Vol. 3, No. 1. (February 2005), pp. 30-37.
    by Keith Stobie
    posted to mock project-automaticmocking softnet by sjgaller on 2008-08-08 13:19:41 as *****
  • A specification language design for the Java Modeling Language (JML) using Java 5 annotations
    (June 2008)
    by Kristina B Taylor
    posted to jml jml5 softnet testing 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 constraint-problem pex softnet testing by sjgaller on 2008-07-02 12:32:18 as ** along with 1 person coolcapri
  • 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 design-by-contract genetic-algorithm jet jml softnet test-data-generation testing 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 planning softnet 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 planning project-planning softnet test-data-generation testing 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 planning project-planning softnet test-data-generation testing 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 design-by-contract java purity-analysis softnet static-analysis 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 project-stringgeneration softnet static-analysis test-data-generation 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 softnet test-data-generation testin by sjgaller on 2008-06-03 15:03:05 as **
  • Automatic Testing through Planning
    (2005)
    by Andreas Leitner, Roderick Bloem
    posted to planning project-planning softnet test-data-generation testing 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 eiffel random-testing softnet test-data-generation testing 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 softnet static-analysis testing white-box-testing 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 constraint-problem softnet testing 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 softnet testing 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 satisfiability satisfiability-modulo-theories softnet 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 softnet string-generation test-data-generation 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 softnet string-generation test-data-generation 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 constraint-problem softnet test-data-generation testing 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 jml jml4 softnet 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 along with 1 person cyph3r
  • Integrating Random Testing with Constraints for Improved Efficiency and Diversity
    (February 2008)
    by Yoonsik Cheon, Antonio Cortes, Martine Ceberio, Gary T Leavens
    posted to constraint-problem softnet test-data-generation testing 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 jmock mock project-automaticmocking softnet testing 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 mock project-automaticmocking softnet testing 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 jmock mock project-automaticmocking softnet testing tool by sjgaller on 2008-05-20 13:46:03 as ***** along with 3 people and 2 groups teresadaniela lanubile marioscalas CDG Desgin-by-Contract
  • Mock object creation for test factoring
    (2004), pp. 49-51.
    by David Saff, Michael D Ernst
    posted to automatic-testing mock project-automaticmocking softnet 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 genetic-algorithm softnet test-data-generation testing 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 code-coverage softnet test-data-generation testing 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 softnet specification specification-based-testing testing 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 color-independent-vision robocup 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 dynamic-weight-adaption random-testing softnet test-data-generation testing 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 robocup vision 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 robocup vision 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 softnet satisfiability-modulo-theories by sjgaller on 2008-05-06 13:46:22 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/sjgaller

    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.