sjgaller's softnet [at least 200 articles] Export

Recent papers added to sjgaller's library classified by the tag softnet. You can also see everyone's softnet.

	EasyMock: Dynamic Mock Objects for JUnit [My Copy] XP2002 (2002) by T. Freese posted to softnet mock by sjgaller on 2009-10-15 05:57:48 as
	Object Oriented Software Construction [My Copy] (1997) by Bertrand Meyer posted to softnet eiffel design-by-contract by sjgaller on 2009-09-27 20:25:43 as
	Applying "Design by Contract" [My Copy] Computer, Vol. 25, No. 10. (October 1992), pp. 40-51. by Bertrand Meyer posted to softnet design-by-contract by sjgaller on 2009-09-27 20:13:34 as along with 1 person and 1 group jweslley Desgin-by-Contract
	Automated test data generation for aspect-oriented programs [My Copy] In AOSD '09: Proceedings of the 8th ACM international conference on Aspect-oriented software development (2009), pp. 185-196. by Mark Harman, Fayezin Islam, Tao Xie, Stefan Wappler posted to test-data-generation softnet search-based-testing genetic-algorithm aspect-oriented-programming by sjgaller on 2009-09-27 10:59:56 as
	Automated Test Data Generation using Search Based Software Engineering [My Copy] In AST '07: Proceedings of the Second International Workshop on Automation of Software Test (2007), 2. by Mark Harman posted to test-data-generation softnet search-based-testing genetic-algorithm by sjgaller on 2009-09-27 10:43:27 as
	Play to Test [My Copy] Formal Approaches to Software Testing (2006), pp. 32-46. by Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes posted to testing test-data-generation test-case-generation softnet by sjgaller on 2009-09-10 17:07:11 as
	Test Case Description Language (TCDL): Test Case Metadata for Conformance Evaluation [My Copy] Computers Helping People with Special Needs (2006), pp. 164-171. by Christophe Strobbe, Sandor Herramhof, Evangelos Vlachogiannis, Carlos Velasco posted to test-data-generation test-case-generation standardization softnet by sjgaller on 2009-09-10 15:54:52 as along with 1 person velasco
	PKorat: Parallel Generation of Structurally Complex Test Inputs [My Copy] Software Testing Verification and Validation, 2009. ICST '09. International Conference on In Software Testing Verification and Validation, 2009. ICST '09. International Conference on (2009), pp. 250-259. by J. H. Siddiqui, S. Khurshid posted to test-data-generation softnet by sjgaller on 2009-09-03 14:23:38 as
	Untitled [My Copy] In JUnit in Action (2003) by Vincent Massol, Ted Husted posted to mock softnet testing by sjgaller on 2009-06-03 14:12:56 as
	Strategies to Automatically Test Eiffel Programs [My Copy] (2004) by Andreas Leitner posted to automatic automatic-testing eiffel softnet testing by sjgaller on 2009-05-05 12:12:44 as along with 1 group Desgin-by-Contract
	Trade-offs in planner representation for automated software testing [My Copy] Aerospace Conference, 1999. Proceedings. 1999 IEEE In Aerospace Conference, 1999. Proceedings. 1999 IEEE, Vol. 5 (1999), pp. 83-92 vol.5. by A. von Mayhauser, M. Scheetz, E. Dahlman, A. E. Howe posted to ai softnet testing by sjgaller on 2009-03-03 09:28:57 as
	Generating test-cases from an object-oriented model with an artifical-intelligence planning system [My Copy] Reliability, IEEE Transactions on In Reliability, IEEE Transactions on, Vol. 49, No. 1. (2000), pp. 26-36. by A. Mayrhauser, R. France, M. Scheetz, E. Dahlman posted to ai softnet test-data-generation testing by sjgaller on 2009-03-02 12:46:14 as
	AI Planner Assisted Test Generation [My Copy] Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 225-259. by Anneliese K. Amschler Andrews, Chunhui Zhu, Michael Scheetz, Eric Dahlman, Adele E. Howe posted to ai softnet test-data-generation testing by sjgaller on 2009-03-02 12:28:04 as
	Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution [My Copy] Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on In Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on (2008), pp. 297-306. by K. Inkumsah, Tao Xie posted to softnet symbolic-execution test-data-generation testing unit-test genetic-algorithm by sjgaller on 2009-02-26 07:56:30 as
	Random Test Run Length and Effectiveness [My Copy] Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on In Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on (2008), pp. 19-28. by J. H. Andrews, A. Groce, M. Weston, Ru-Gang Xu posted to random-testing softnet testing by sjgaller on 2009-02-26 07:51:05 as
	PDDL – The Planning Domain Definition Language [My Copy] (1998) by Malik Ghallab, Ecole Nationale, Constructions Aeronautiques, et al.Craig K. Isi, Scott Penberthy, David E. Smith, Ying Sun, Daniel Weld posted to languages softnet testing by sjgaller on 2009-02-26 07:38:23 as along with 2 people kira cyph3r
	Application of AI Planning Techniques to Automated Code Synthesis and Testing [My Copy] In ICTAI '02: Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'02) (2002) by I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn posted to ai softnet testing by sjgaller on 2009-02-25 17:35:38 as along with 1 person cyph3r
	Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques [My Copy] Empirical Software Engineering, Vol. 12, No. 2. (April 2007), pp. 183-239. by Man Xiao, Mohamed El-Attar, Marek Reformat, James Miller posted to automatic-testing softnet test-data-generation testing by sjgaller on 2009-02-25 17:32:43 as along with 1 person cyph3r
	An Automated Approach for Goal-driven, Specification-based Testing [My Copy] In ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06) (2006), pp. 289-292. by Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson posted to softnet specification-based-testing testing by sjgaller on 2009-02-25 17:30:33 as along with 1 person cyph3r
	An Empirical Study of the Robustness of Windows NT Applications Using Random Testing [My Copy] pp. 59-68. by Justin E. Forrester, Barton P. Miller posted to random-testing softnet testing by sjgaller on 2009-02-25 17:22:52 as along with 2 people cyph3r pfrancis
	Observations and lessons learned from automated testing [My Copy] Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on In Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 571-579. by S. Berner, R. Weber, R. K. Keller posted to automatic-testing project-planning softnet testing by sjgaller on 2009-02-25 17:19:48 as along with 2 people joaoarthurbm cyph3r
	Supporting design patterns with annotations [My Copy] Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on In Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on (2006), pp. 8 pp.-445. by K. Meffert posted to design-by-contract design-pattern softnet specification specification-based-testing testing by sjgaller on 2009-02-23 08:52:32 as along with 1 group Desgin-by-Contract
	Automatic verification of design patterns in Java [My Copy] In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 224-232. by Alex Blewitt, Alan Bundy, Ian Stark posted to softnet specification specification-based-testing testing by sjgaller on 2009-02-23 08:50:13 as along with 1 person and 1 group plaugg Desgin-by-Contract
	Challenging Automatic Test Case Generation Tools with Real World Applications [My Copy] In Software Engineering and Applications 2008 (16-18 November 2008) by Stefan J. Galler, Bernhard Peischl, Franz Wotawa posted to introductory-work jcamel overview softnet test-data-generation testing by sjgaller on 2009-01-28 08:16:52 as along with 1 person and 1 group cyph3r Desgin-by-Contract
	Generating Java unit tests with AI planning [My Copy] In WEASELTech '07: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies (2007), pp. 2-6. by Eddie Dingels, Timothy Fraser, Alexander Quinn posted to softnet test-data-generation testing unit-test by sjgaller on 2008-12-22 15:56:37 as along with 1 person and 1 group cyph3r Desgin-by-Contract
	Testing: a roadmap [My Copy] In ICSE '00: Proceedings of the Conference on The Future of Software Engineering (2000), pp. 61-72. by Mary J. Harrold posted to overview softnet testing by sjgaller on 2008-12-22 15:37:14 as along with 5 people and 1 group kirchengast newdawn turker jmcq thjt Context-driven-testers
	Automating Software Testing Using Program Analysis [My Copy] IEEE Software, Vol. 25, No. 5. (October 2008), pp. 30-37. by Patrice Godefroid, Peli de Halleux, Michael Levin, et al.Aditya Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann posted to pex softnet testing white-box-testing by sjgaller on 2008-11-14 17:50:46 as
	Challenges in Satisfiability Modulo Theories [My Copy] Term Rewriting and Applications (2007), pp. 2-18. by Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio posted to satisfiability-modulo-theories softnet testing by sjgaller on 2008-09-30 17:33:06 as
	A Survey of New Trends in Symbolic Execution for Software Testing and Analysis [My Copy] Software Tools for Technology Transfer (8 August 2008) by Corina S. Pasareanu, Willem Visser posted to softnet static-analysis symbolic-execution testing by sjgaller on 2008-09-05 15:08:54 as
	Sufficient mutation operators for measuring test effectiveness [My Copy] In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 351-360. by Akbar S. Namin, James H. Andrews, Duncan J. Murdoch posted to mutation-testing softnet testing by sjgaller on 2008-09-05 13:29:52 as
	The Efficiency of Critical Slicing in Fault Localization [My Copy] Software Quality Journal, Vol. 13, No. 2. (January 2005), pp. 129-153. by Z. Al-Khanjari, M. Woodward, Haider Ramadhan, N. Kutti posted to mutation-testing softnet static-analysis testing by sjgaller on 2008-09-05 13:17:38 as
	Nighthawk: a two-level genetic-random unit test data generator [My Copy] In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007), pp. 144-153. by James H. Andrews, Felix C. H. Li, Tim Menzies posted to random-testing softnet testing by sjgaller on 2008-09-05 13:08:09 as
	Directed test generation using symbolic grammars [My Copy] In ESEC-FSE companion '07: The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering (2007), pp. 553-556. by Rupak Majumdar, Ru G. Xu posted to softnet testing by sjgaller on 2008-09-05 13:06:55 as
	MuJava: an automated class mutation system: Research Articles [My Copy] Softw. Test. Verif. Reliab., Vol. 15, No. 2. (2005), pp. 97-133. by Yu S. Ma, Jeff Offutt, Yong R. Kwon posted to mutation-testing softnet test-quality-measurment testing by sjgaller on 2008-09-05 09:45:42 as
	A JML Compiler Based on AspectJ [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In 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
	Model-Based Testing of Automotive Systems [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In 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
	Contract-Based Verification for Aspect-Oriented Refactoring [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In 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
	On the Predictability of Random Tests for Object-Oriented Software [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In 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 design-by-contract eiffel random-testing softnet testing by sjgaller on 2008-08-13 09:28:03 as
	Evaluating Automated Unit Testing in Sulu [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 62-71. by R. P. Tan, S. Edwards posted to softnet testing unit-test by sjgaller on 2008-08-13 09:26:39 as
	Generation of All-Paths Unit Test with Function Calls [My Copy] 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 along with 1 person cyph3r
	Efficient Test Data Generation for Variables with Complex Dependencies [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In 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 along with 1 person cyph3r
	Isolating relevant component interactions with JINSI [My Copy] In WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis (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 along with 1 person RalfMitschke
	Too darned big to test [My Copy] 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 [My Copy] (June 2008) by Kristina B. Taylor posted to jml jml5 softnet testing by sjgaller on 2008-07-02 17:04:57 as
	Pex–White Box Test Generation for .NET [My Copy] Tests and Proofs In 2nd International Conference on 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 4 people JavaJoe maqkona qdw1987 coolcapri
	A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs [My Copy] In International Conference on Software Testing, Verification, and Validation (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 [My Copy] 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 [My Copy] 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 [My Copy] (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 [My Copy] 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

Note: You may cite this page as: http://www.citeulike.org/user/sjgaller/tag/softnet

Result page: 1 2 3 4 5 6 Next

softnet	264
testing	112
scr	59
test-data-generation	54
java	54
test-case-generation	47
wsn	41
jml	40
tool	36
design-by-contract	30
unit-test	18
neuralnetwork	17
mock	17
specification	17
constraint-problem	16
formalization	15
symbolic-execution	13
random-testing	13
eiffel	11
robocup	11
verification	10
specification-based-testing	10
case-study	9
overview	9
genetic-algorithm	8
planning	8
vision	8
localization	8
reading-group-testing	8
unsupervised	8
project-automaticmocking	8
automatic	7
application	7
spec-sharp	6
unitesk	6
monitoring	6
finite-state-machine	6
model-checker	6
temporal-logic	6
games	6
ai	6
mobile	5
static-analysis	5
da	5
robot	5
automatic-testing	5
satisfiability-modulo-theories	5
project-planning	5
mutation-testing	5
navigation	5
aggregation	4
som	4
java-path-finder	4
specification-generation	4
pex	4
classification	4
aspectj	4
satisfiability	4
white-box-testing	4
languages	3
diagnostic	3
algorithm	3
statistics	3
synthesis	3
performance	3
conveyor	3
dynamic-analysis	3
c-cpp	3
survey	3
jet	3
monte-carlo	3
jmltt	3
code-coverage	2
daikon	2
clustering	2
search-based-testing	2
data	2
supervised	2
rbf	2
introductory-work	2
energy	2
autotest	2
protocol	2
z3	2
software-engineering	2
key	2
b	2
string-generation	2
jmock	2
aspect-oriented-programming	2
vibration	2
invariant-detection	2
symclat	2
bearings	2
berkely	1
jcamel	1
logic	1
optimizer	1
purity-analysis	1
jamlunit	1
deployment	1
plant	1
design	1
jcute	1
data-dependency	1
testera	1
algebraic-testing	1
black-box-testing	1
datamining	1
project-effectsofmethodcalls	1
larch	1
jml4	1
compiler	1
symstra	1
tracking	1
test-quality-measurment	1
backpropagation	1
utjml	1
z	1
gazebo-player-stage	1
diduce	1
harvard	1
propabilistic	1
distributed-programs	1
ad-hoc	1
testgen	1
simulation	1
program-execution	1
color-independent-vision	1
jcrasher	1
dynamic-weight-adaption	1
jml5	1
csg	1
control-flow-graph	1
wlan	1
knowledge-discovery	1
hoare	1
ocl	1
programming-languages	1
integration-tests	1
rostra	1
design-pattern	1
jaout	1
testin	1
concurrent-programs	1
project-stringgeneration	1
standardization	1
stereo-vision	1
deadlock-detection	1
c-sharp	1
behavioral-specification	1
warehouse	1
boolean-abstraction	1
heap-games	1
vdm	1
wrasp	1
dag	1
jaml	1
svm	1
state-explosion	1
pca	1
behavior-engine	1
theorem-prover	1
prediction	1

sjgaller's softnet [at least 200 articles] Export

sjgaller's tags