Tag softnet [194 articles] Export Sort

Recent papers classified by the tag softnet.

Hide details

	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 to the group Desgin-by-Contract on 2009-09-27 20:13:34 as along with 1 person jweslley
	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
	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
	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 ai project-planning softnet test-data-generation testing unit-testing by sjgaller to the group Desgin-by-Contract on 2009-02-25 11:45:59 as along with 1 person 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 to the group Desgin-by-Contract on 2009-02-23 08:52:33 as
	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 to the group Desgin-by-Contract on 2009-02-23 08:50:13 as along with 1 person plaugg
	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
	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
	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
	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 5 people bfraser JavaJoe maqkona qdw1987 coolcapri
	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
	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 to the group Desgin-by-Contract on 2008-06-30 07:34:33 as
	Precise Analysis of String Expressions [My Copy] 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 [My Copy] Availability, Reliability and Security, 2007. ARES 2007. The Second International Conference on In 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
	Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented Systems [My Copy] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 In 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
	Search-based software test data generation for string data using program-specific search operators: Research Articles [My Copy] 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 [My Copy] In CCS '05: Proceedings of the 12th ACM conference on Computer and communications security (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 along with 1 person thermostat
	Search-based software engineering [My Copy] 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 along with 1 person viveknallur
	Mining object behavior with ADABU [My Copy] In WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis (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 along with 1 person cyph3r
	jMock: supporting responsibility-based design with mock objects [My Copy] In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (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 [My Copy] In SELMAS '06: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems (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 [My Copy] In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 236-246. by Steve Freeman, Tim Mackinnon, Nat Pryce, Joe Walnes posted to jmock mock project-automaticmocking softnet testing tool by sjgaller to the group Desgin-by-Contract on 2008-05-20 13:46:04 as along with 3 people and 1 group teresadaniela lanubile marioscalas CDG

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

Result page: 1 2 3 4 Next

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

testing	168
test-case-generation	103
java	93
test-data-generation	59
jml	53
design-by-contract	47
formalization	45
tools	36
mock	34
tool	29
specification	25
specification-based-testing	22
verification	21
overview	17
random-testing	17
symbolic-execution	16
ai	15
project-automaticmocking	15
test-input-generation	14
unit-tests	14
model-checker	13
temporal-logic	13
reading-group-testing	12
spec-sharp	12
specification-generation	12
unit-test	12
case-study	11
constraint-problem	11
constraint-solving	10
finite-state-machine	9
genetic-algorithm	9
java-path-finder	9
unsupervised	9
languages	8
planning	8
automatic-testing	7
games	7
b	6
c-cpp	6
daikon	6
jmltt	6
project-planning	6
static-analysis	6
statistics	6
symclat	6
unitesk	6
aspectj	5
eiffel	5
jmock	5
mutation-testing	5
satisfiability-modulo-theories	5
code-coverage	4
constraint-logic	4
fsm	4
search-based-testing	4
string-generation	4
unit-testing	4
algebraic-testing	3
automatic	3
behavioral-specification	3
c-sharp	3
compiler	3
control-flow-graph	3
design-pattern	3
diduce	3
dynamic-analysis	3
hoare	3
integration-tests	3
invariant-detection	3
key	3
larch	3
logic	3
optimizer	3
programming-languages	3
purity-analysis	3
rostra	3
satisfiability	3
survey	3
vdm	3
z	3
applications	2
aspect-oriented-programming	2
dynamic	2
evolutionary-testing	2
model-based-testing	2
pex	2
project-stringgeneration	2
sat	2
standardization	2
test-quality-measurment	2
testin	2
z3	2
boolean-abstraction	1
dynamic-weight-adaption	1
introductory-work	1
program-execution	1
project-effectsofmethodcalls	1
testera	1
testgen	1
theorem-prover	1

Tag softnet [194 articles] Export Sort

Related Tags