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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case
    Programming and Computer Software, Vol. 29, No. 5. (2003), pp. 245-258.
    by IB Bourdonov, AS Kossatchev, VV Kuliamin
    posted to unitesk softnet by sjgaller to the group Context-driven-testers on 2007-07-06 13:38:31 as ***** along with 1 group Desgin-by-Contract
  • The KeY Tool
    Software and Systems Modeling (April 2004), pp. 32-54.
    by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H Schmitt
    posted to verification tools softnet key jml java by sjgaller to the group Context-driven-testers on 2007-06-27 14:04:23 as ***** along with 1 group Desgin-by-Contract
  • Application of finite automatons for program testing
    Programming and Computer Software, Vol. 26, No. 2. (2000), pp. 61-73.
    by IB Burdonov, AS Kossatchev, VV Kulyamin
    posted to unitesk softnet finite-state-machine by sjgaller to the group Context-driven-testers on 2007-06-26 12:49:26 as ***** along with 1 group Desgin-by-Contract
  • JCrasher: An automatic robustness tester for Java
    Vol. 34 (September 2004), pp. 1025-1050.
    by Christoph Csallner, Yannis Smaragdakis
    posted to tools softnet jcrasher java by sjgaller to the group Context-driven-testers on 2007-06-21 16:50:49 as ***** along with 1 group Desgin-by-Contract
  • The ASTOOT approach to testing object-oriented programs
    ACM Transactions on Software Engineering and Methodology, Vol. 3, No. 2. (1994), pp. 101-130.
    by Roong K Doong, Phyllis G Frankl
    posted to unsupervised test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-08 16:39:51 as ***** along with 1 group Desgin-by-Contract
  • SALT - An Integrated Environment to Automate Generation of Function Tests for APIs
    (8-11 October 2000), pp. 304-316.
    by Amit Paradkar
    posted to test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-08 15:35:51 as ***** along with 1 group Desgin-by-Contract
  • Dynamically Discovering Likely Program Invariants to Support Program Evolution
    (1999), pp. 213-224.
    by Michael D Ernst, Jake Cockrell, William G Griswold, David Notkin
    posted to tools specification-generation softnet formalization daikon by sjgaller to the group Context-driven-testers on 2007-06-08 10:43:21 as ***** along with 1 person and 1 group amorkan Desgin-by-Contract
  • TestEra: Specification-based testing of Java programs using SAT
    (2004)
    by S Khurshid, D Marinov
    posted to test-case-generation softnet sat java by sjgaller to the group Context-driven-testers on 2007-06-05 09:41:24 as ***** along with 1 group Desgin-by-Contract
  • Warehousing and inventory management: integrating simulation modeling and equipment condition diagnostics for predictive maintenance strategies -a case study
    (2002), pp. 1289-1296.
    by Luis R Contreras, Chirag Modi, Arunkumar Pennathur
    posted to application conveyor scr warehouse wsn by sjgaller to the group Context-driven-testers on 2006-11-30 15:21:24 as ***** along with 1 group Desgin-by-Contract
  • An analysis of a large scale habitat monitoring application
    (2004), pp. 214-226.
    by Robert Szewczyk, Alan Mainwaring, Joseph Polastre, John Anderson, David Culler
    posted to application berkely scr wsn by sjgaller to the group Context-driven-testers on 2006-11-29 22:02:41 as ***** along with 1 group Desgin-by-Contract
  • The Nature of External Representations in Problem Solving
    Cognitive Science, Vol. 21, No. 2. (1997), pp. 179-216.
    by Jiajie Zhang
    posted to biases problem-solving by tinkha to the group Context-driven-testers on 2005-10-20 16:39:10 as *****
  • Integrating Security into Agile Development Methods
    System Sciences, 2005. HICSS '05. Proceedings of the 38th Annual Hawaii International Conference on (2005), pp. 185a-185a.
    by M Siponen, R Baskerville, T Kuivalainen
    posted to agile security by tinkha to the group Context-driven-testers on 2005-03-19 03:28:54 as ***** along with 1 person ingo
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Test Input Generation with Java PathFinder
    (11-14 July 2004)
    by Willem Visser, Corina S Pasareanu, Sarfraz Khurshid
    posted to test-case-generation softnet java by sjgaller to the group Context-driven-testers on 2007-06-05 09:44:19 as **** along with 1 person and 1 group gfraser Desgin-by-Contract
  • Programming and Interface Specification Language of JIVE - Specification and Design Rationale
    (1997)
    by Peter Müller, Jörg Meyer, Arnd P Heffter
    posted to tools softnet formalization by sjgaller to the group Context-driven-testers on 2007-06-01 18:38:18 as **** along with 1 group Desgin-by-Contract
  • Larch: Languages and Tools for Formal
    by Specification G And
    posted to tools softnet languages formalization by sjgaller to the group Context-driven-testers on 2007-06-01 17:53:52 as **** along with 1 group Desgin-by-Contract
  • Dynamic neural network based training for support vector machines
    Fuzzy Information, 2004. Processing NAFIPS '04. IEEE Annual Meeting of the, Vol. 1 (2004), pp. 259-264 Vol.1.
    by Zeng-Guang Hou, MM Gupta
    posted to svm scr neuralnetwork by sjgaller to the group Context-driven-testers on 2007-04-28 00:07:23 as **** along with 1 group Desgin-by-Contract
  • Improving information requirements determination: a cognitive perspective
    Inf. Manage., Vol. 39, No. 8. (September 2002), pp. 625-645.
    by Glenn J Browne, V Ramesh
    posted to biases cognition information requirements by tinkha to the group Context-driven-testers on 2005-10-20 16:50:24 as **** along with 1 person and 1 group livingthingdan livingthing
  • Learning and Individual Differences: Process, Trait, and Content Determinants
    (01 March 1999)
    edited by Phillip L Ackerman, Patrick C Kyllonen, Richard D Roberts
    posted to learning psychology by tinkha to the group Context-driven-testers on 2005-08-04 16:42:03 as ****
  • 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
  • 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
  • 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
  • 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
  • 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
  • An overview of AspectJ
    Vol. 2072/2001 (2001), pp. 327-355.
    by G Kiczales, E Hilsdale, J Hugunin, M Kersten, J Palm, WG Griswold
    posted to java aspect-oriented-programming by sjgaller to the group Context-driven-testers on 2007-06-18 07:22:38 as *** along with 1 group Desgin-by-Contract
  • Approaches to Specification-Based Testing
    (1989), pp. 86-96.
    by Debra J Richardson, Owen T O'Malley, C Tittle
    posted to specification-based-testing softnet by sjgaller to the group Context-driven-testers on 2007-06-12 13:23:33 as *** along with 1 group Desgin-by-Contract
  • Automatic Extraction of Object-Oriented Component Interfaces
    (July 2002)
    by John Whaley, Michael C Martin, Monica S Lam
    posted to unsupervised test-case-generation softnet formalization by sjgaller to the group Context-driven-testers on 2007-06-09 20:08:10 as *** along with 2 people and 2 groups newdawn jolilius TUCS-ES_Lab Desgin-by-Contract
  • Evaluating the small scope hypothesis
    (2002)
    by A Andoni, D Daniliuc, S Khurshid, D Marinov
    posted to test-case-generation softnet java by sjgaller to the group Context-driven-testers on 2007-06-08 17:07:53 as *** along with 1 person and 1 group aq05752n Desgin-by-Contract
  • Tool-assisted unit test selection based on operational violations
    Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 40-48.
    by Tao Xie, D Notkin
    posted to tools test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-08 15:24:16 as *** along with 1 person and 1 group pfrancis Desgin-by-Contract
  • PCA-based feature selection scheme for machine defect classification
    Instrumentation and Measurement, IEEE Transactions on, Vol. 53, No. 6. (2004), pp. 1517-1525.
    by A Malhi, RX Gao
    posted to unsupervised scr pca neuralnetwork classification by sjgaller to the group Context-driven-testers on 2007-04-27 19:39:08 as *** along with 1 group Desgin-by-Contract
  • Monitoring and diagnosis of rolling element bearings using artificial neural networks
    Industrial Electronics, IEEE Transactions on, Vol. 40, No. 2. (1993), pp. 209-217.
    by IE Alguindigue, A Loskiewicz-Buczak, RE Uhrig
    posted to vibration unsupervised scr neuralnetwork diagnostic bearings by sjgaller to the group Context-driven-testers on 2007-04-27 17:30:41 as *** along with 1 group Desgin-by-Contract
  • Boards of Directors, Audit Committees, and the Information Content of Earnings
    Weinberg Center for Corporate Governance Working Paper No. 2003-04. http://ssrn.com/abstract=444241
    by Kirsten L Anderson, Daniel N Deli, Stuart Gillan
    posted to audit independentreview sarbanes-oxley by cemkaner to the group Context-driven-testers on 2005-07-21 10:54:40 as ***
  • The Uncertain Relationship Between Board Composition and Firm Performance
    Business Lawyer, Vol. 54 (1999), pp. 921-953.
    by Sanjai Bhagat, Bernard S Black
    posted to audit independentreview sarbanes-oxley by cemkaner to the group Context-driven-testers on 2005-07-21 10:30:46 as ***
  • TACCLE: a methodology for object-oriented software testing at the class and cluster levels
    ACM Trans. Softw. Eng. Methodol., Vol. 10, No. 1. (January 2001), pp. 56-109.
    by Huo Y Chen, TH Tse, TY Chen
    posted to blackbox class-level-testing cluster-level-testing equivalence-testing object-oriented testing tools unit-testing whitebox by tinkha to the group Context-driven-testers on 2005-03-17 08:57:59 as ***
  • 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
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/group/162/order/to_read

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