@inproceedings{Vieira2006,
	title = {Automation of GUI testing using a model-driven approach},
	address = {New York, NY, USA},
	author = {Marlon Vieira and Johanne Leduc and Bill Hasling and Rajesh Subramanyan and Juergen Kazmeier},
	booktitle = {AST '06: Proceedings of the 2006 international workshop on Automation of software test},
	note = {MR: UML-Use-Cases werden mit Aktivitaetsdiagrammen beschrieben, an denen Aktivitaets-Annotationen mit der Verwendung von Testdaten angebracht werden. Die Testdaten werden nach der Category-Partition-Methode von Entwicklern angebracht. Zusätzlich sind die Aktivitaetsdiagramme um Guard-Conditions erweitert (es sind Constraints an den Pfeilen von Verzweigungen angebracht in einer speziellen TSL Sprache).

Anwendung verschiedener Testauswahlkriterien gezeigt.

Technik für den Systemtest angedacht, an einem GUI-Test als Beispiel gezeigt.

Nachteil: Ansatz schweigt in Bezug auf Testorakel. Nur im 'Future work'-Abschnitt wurde angemerkt: "We are investigating ways to improve the test cases with detailed verification points and arbiters.".

IST-SPL: wertvoll.
},
	pages = {9--14},
	publisher = {ACM},
	url = {http://portal.acm.org/citation.cfm?id=1138932},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2ea4969666434775f682740a6090c1447/ist_spl},
	description = {Automation of GUI testing using a model-driven approach},
	abstract = {This paper describes an ongoing research on test case generation based on Unified Modeling Language (UML). The described approach builds on and combines existing techniques for data and graph coverage. It first uses the Category-Partition method to introduce data into the UML model. UML Use Cases and Activity diagrams are used to respectively describe which functionalities should be tested and how to test them. This combination has the potential to create a very large number of test cases. This approach offers two ways to manage the number of tests. First, custom annotations and guards use the Category-Partition data which allows the designer tight control over possible, or impossible, paths. Second, automation allows different configurations for both the data and the graph coverage. The process of modeling UML activity diagrams, annotating them with test data requirements, and generating test scripts from the models is described. The goal of this paper is to illustrate the benefits of our model-based approach for improving automation on software testing. The approach is demonstrated and evaluated based on use cases developed for testing a graphical user interface (GUI).},
	location = {Shanghai, China}, isbn = {1-59593-408-1}, doi = {http://doi.acm.org/10.1145/1138929.1138932},
	keywords = {GUI MBT TDE/UML UML Use-Cases activity automated category-partition diagrams testing tools }
}

@article{Neto2008,
	title = {Improving Evidence about Software Technologies: A Look at Model-Based Testing},
	author = {Arilo Dias Neto and Rajesh Subramanyan and Marlon Vieira and Guilherme Horta Travassos and Forrest Shull},
	booktitle = {Software, IEEE},
	month = {May/June},
	note = {MR: necessarily regard the full results of the review: http://csdl2.computer.org/comp/mags/so/2008/extras/mso2008030010x1.pdf
 
Sehr ausführlicher Überblick über die aktuellen MBT-Ansätze (vor allem auf UML-basierende). Dazu zählen alle die mit folgenden Suchstrings in der Literatur gefunden worden sind: requirement/specification/use case/model/UML/finite state machine - based/driven - testing/test - approach/method/methodology/technique 

Usefulness for IST-SPL (-/0/+/++): + (extensive state of the art) 

},
	pages = {10-13},
	url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=4497747&arnumber=4497754&count=27&index=6},
	volume = {25},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/21664b8b1971448be9afe970825674f5d/ist_spl},
	abstract = {Model-based testing (MBT) approaches help automatically generate test cases using models extracted from software artifacts, and hold the promise to greatly affect how we build software. A review of the literature shows that certain specialized domains are applying MBT, but it does not yet seem to be a mainstream approach. The authors therefore conducted a systematic review of the literature to investigate how much evidence is available on MBT's costs and benefits, especially regarding how these techniques compare to other common testing approaches. They use these results to derive suggestions regarding what types of studies might further increase the deployment of these techniques.},
	issn = {0740-7459}, doi = {10.1109/MS.2008.64},
	keywords = {based model testing uml }
}

@article{10.1109/MS.2008.64,
	title = {Improving Evidence about Software Technologies: A Look at Model-Based Testing},
	address = {Los Alamitos, CA, USA},
	author = {Arilo Dias Neto and Rajesh Subramanyan and Marlon Vieira and Guilherme Horta Travassos and Forrest Shull},
	journal = {IEEE Software},
	number = {3},
	pages = {10-13},
	publisher = {IEEE Computer Society},
	volume = {25},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2be11b7d6c68590af0a58ff3291ef59b4/roos},
	issn = {0740-7459}, doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2008.64},
	keywords = {imported }
}

@inproceedings{conf/fecs/EarlySM07,
	title = {Academic/Industry Collaboration in Undergraduate Software Engineering - A Fifteen Year Perspective.},
	author = {James Early and Rajesh Subramanyan and Aditya Mathur},
	booktitle = {FECS},
	crossref = {conf/fecs/2007},
	editor = {Hamid R. Arabnia and Victor A. Clincy},
	pages = {28-34},
	publisher = {CSREA Press},
	url = {http://dblp.uni-trier.de/db/conf/fecs/fecs2007.html#EarlySM07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/23e23b784b1b1bc244315f1d271fa6387/dblp},
	description = {dblp},
	isbn = {1-60132-046-9}, date = {2007-12-20},
	keywords = {dblp }
}

@article{Subramanyan2004,
	title = {Multi-objective optimization for hybrid fuel cells power system under
	uncertainty},
	author = {Karthik Subramanyan and Urmila M. Diwekar and Amit Goyal},
	journal = {Journal of Power Sources},
	month = {2004/5/20},
	note = {TY - JOUR},
	number = {1-2},
	pages = {99-112},
	url = {http://www.sciencedirect.com/science/article/B6TH1-4BVRTVS-B/2/02dfe1bc0d9a8830b752054899b73bd4},
	volume = {132},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/25718d0c0cadc569c10de412d342be39f/tboehme},
	abstract = {One of the major applications of fuel cells is as onsite stationary
	electric power plants. Several types of configurations have been
	hypothesized and tested for these kinds of applications at the conceptual
	level but hybrid power plants are one of the most efficient. These
	are designs that combine a fuel cell cycle with other thermodynamic
	cycles to provide higher efficiency. Generally, the heat rejected
	by the fuel cell at a higher temperature is used in a bottoming cycle
	to generate steam. In this work we are considering a conceptual design
	of a solid oxide fuel cell-proton exchange membrane (SOFC-PEM) fuel
	cell hybrid power plant [R. Geisbrecht, Compact Electrochemical Reformer
	Based on SOFC Technology, AIChE Spring National Meeting, Atlanta,
	GA, 2000] in which the high temperature SOFC fuel cell acts both
	as electricity producer and fuel reformer for the low temperature
	PEM fuel cell (PEMFC). The exhaust from the PEM fuel cell goes to
	a waste hydrogen burner and heat recovery steam generator that produces
	steam for further utilizations. Optimizing this conceptual design
	involves consideration of a number of objectives. The process should
	have low pollutant emissions as well as cost competitive with the
	existing technology. The solution of a multi-objective optimization
	problem is not a single solution but a complete non-dominated or
	Pareto set, which includes the alternatives representing potential
	compromise solutions among the objectives. This makes a range of
	choice available to decision makers and provides them with the trade-off
	information among the multiple objectives effectively. This paper
	presents the optimal trade-off design solutions or the Pareto set
	for this hybrid power plant through a multi-objective optimization
	framework. This hybrid technology is new and the system level models
	used for fuel cells performance have significant uncertainties in
	them. In this paper, we characterize these uncertainties and study
	the effect of these uncertainties on the optimal trade-offs. The
	framework developed in this work forms the basis for optimal design
	and synthesis of any power plant under uncertainties in the face
	of multiple objectives.},
	shorttitle = {Multi-objective optimization for hybrid fuel cells power system under
	uncertainty}, endnotereftype = {Journal Article},
	keywords = {imported }
}

@inproceedings{conf/compsac/Subramanyan07,
	title = {Test Automation in Practice.},
	author = {Rajesh Subramanyan},
	booktitle = {COMPSAC (1)},
	crossref = {conf/compsac/2007},
	pages = {19},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2007-1.html#Subramanyan07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2b17dfb35affdbf03fd65fff5b46de950/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.207}, isbn = {978-0-7695-2870-0}, date = {2007-08-19},
	keywords = {dblp }
}

@inproceedings{conf/scesm/MurthyAMS06,
	title = {Test ready UML statechart models.},
	author = {P. V. R. Murthy and P. C. Anitha and M. Mahesh and Rajesh Subramanyan},
	booktitle = {SCESM},
	crossref = {conf/scesm/2006},
	editor = {Jon Whittle and Leif Geiger and Michael Meisinger},
	pages = {75-82},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/scesm/scesm2006.html#MurthyAMS06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2b471914aa4d25bdbaaac94b03158ee0a/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1138953.1138968}, isbn = {1-59593-394-8}, date = {2006-09-20},
	keywords = {dblp }
}

@inproceedings{conf/ipmi/DeanSKBWKB97,
	title = {Comparison of Traditional Brain Segmentation Tools with 3D Self-Organizing Maps.},
	author = {David Dean and Krishnamurthy Subramanyan and Janardhan Kamath and Fred L. Bookstein and David C. Wilson and David Kwon and Peter Buckley},
	booktitle = {IPMI},
	crossref = {conf/ipmi/1997},
	editor = {James S. Duncan and Gene Gindi},
	pages = {393-398},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/ipmi/ipmi1997.html#DeanSKBWKB97},
	volume = {1230},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/2da9c6b74a74ce75d0b688ee9b9c7ce8a/dblp},
	description = {dblp},
	isbn = {3-540-63046-5}, date = {2006-09-14},
	keywords = {dblp }
}

@inproceedings{conf/icpp/HaririYTPSRF94,
	title = {A Concurrent Multi Target Tracker: Benchmarking and Portability.},
	author = {Salim Hariri and Rajesh Yadav and Balaji Thiagarajan and Sung-Yong Park and Mahesh Subramanyan and Rajashekar Reddy and Geoffrey Fox},
	booktitle = {ICPP (3)},
	pages = {123-126},
	url = {http://dblp.uni-trier.de/db/conf/icpp/icpp1994-3.html#HaririYTPSRF94},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/2df5d1a311e87a8b0a70e4f75c1b28e58/dblp},
	description = {dblp},
	date = {2005-06-30},
	keywords = {dblp }
}

@inproceedings{conf/cars/SubramanyanCD04,
	title = {Abdominal aortic stent graft planning with automatically extracted vessel centerlines/cross-sections in multislice CT.},
	author = {Krishna Subramanyan and Les Ciancibello and Jacob Durgan},
	booktitle = {CARS},
	crossref = {conf/cars/2004},
	editor = {Heinz U. Lemke and Kiyonari Inamura and Kunio Doi and Michael W. Vannier and Allan G. Farman and Johan H. C. Reiber},
	pages = {183-188},
	publisher = {Elsevier},
	series = {International Congress Series},
	url = {http://dblp.uni-trier.de/db/conf/cars/cars2004.html#SubramanyanCD04},
	volume = {1268},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/2a31f39f825a37db204d41d37a0ff18d2/dblp},
	description = {dblp},
	isbn = {0-444-51731-6}, date = {2005-01-10},
	keywords = {dblp }
}