| Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
|---|---|---|---|---|---|
| Budnik, C. J., Subramanyan, R. & Vieira, M. | Peer-to-Peer Comparison of Model-Based Test Tools. [BibTeX] |
2008 | GI Jahrestagung (1) | inproceedings | URL |
BibTeX:
@inproceedings{conf/gi/BudnikSV07,
author = {Christof J. Budnik and Rajesh Subramanyan and Marlon Vieira},
title = {Peer-to-Peer Comparison of Model-Based Test Tools.},
booktitle = {GI Jahrestagung (1)},
publisher = {GI},
year = {2008},
volume = {133},
pages = {223-226},
url = {http://dblp.uni-trier.de/db/conf/gi/gi2008-1.html#BudnikSV07}
}
|
|||||
| Early, J., Subramanyan, R. & Mathur, A. | Academic/Industry Collaboration in Undergraduate Software Engineering - A Fifteen Year Perspective. [BibTeX] |
2007 | FECS | inproceedings | URL |
BibTeX:
@inproceedings{conf/fecs/EarlySM07,
author = {James Early and Rajesh Subramanyan and Aditya Mathur},
title = {Academic/Industry Collaboration in Undergraduate Software Engineering - A Fifteen Year Perspective.},
booktitle = {FECS},
publisher = {CSREA Press},
year = {2007},
pages = {28-34},
url = {http://dblp.uni-trier.de/db/conf/fecs/fecs2007.html#EarlySM07}
}
|
|||||
| Murthy, P. V., Anitha, P. C., Mahesh, M. & Subramanyan, R. | Test ready UML statechart models | 2006 | SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools | inproceedings | DOIURL |
| Abstract: The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as systematic testing and test adequacy. We choose UML Statechart models of behavior as the basis for test generation. This paper attempts to lay a new foundation for UML Statechart based test generation by introducing Test Ready UML Statechart models that can be used by testers in the testing phases just as the conventional UML Statecharts are required during the design and development phases. In order to achieve the goal of automatic test generation based on UML Statecharts, we identify what is required over and above UML Statecharts for testers to specify so that the resulting test ready models are amenable for automatic generation of executable test scripts. The test generation problem from a Test Ready UML Statechart is solved by determining all the sentential forms derivable from an equivalent extended context free grammar model. | |||||
BibTeX:
@inproceedings{Murthy2006,
author = {P. V.R. Murthy and P. C. Anitha and M. Mahesh and Rajesh Subramanyan},
title = {Test ready UML statechart models},
booktitle = {SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools},
publisher = {ACM},
year = {2006},
pages = {75--82},
url = {http://portal.acm.org/citation.cfm?id=1138953.1138968},
doi = {http://doi.acm.org/10.1145/1138953.1138968}
}
|
|||||
| Neto, A. D., Subramanyan, R., Vieira, M., Travassos, G. H. & Shull, F. | Improving Evidence about Software Technologies: A Look at Model-Based Testing [BibTeX] |
2008 | IEEE Software | article | DOI |
BibTeX:
@article{10.1109/MS.2008.64,
author = {Arilo Dias Neto and Rajesh Subramanyan and Marlon Vieira and Guilherme Horta Travassos and Forrest Shull},
title = {Improving Evidence about Software Technologies: A Look at Model-Based Testing},
journal = {IEEE Software},
publisher = {IEEE Computer Society},
year = {2008},
volume = {25},
number = {3},
pages = {10-13},
doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2008.64}
}
|
|||||
| Neto, A. D., Subramanyan, R., Vieira, M., Travassos, G. H. & Shull, F. | Improving Evidence about Software Technologies: A Look at Model-Based Testing | 2008 | Software, IEEE | article | DOIURL |
| 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. | |||||
BibTeX:
@article{Neto2008,
author = {Arilo Dias Neto and Rajesh Subramanyan and Marlon Vieira and Guilherme Horta Travassos and Forrest Shull},
title = {Improving Evidence about Software Technologies: A Look at Model-Based Testing},
booktitle = {Software, IEEE},
year = {2008},
volume = {25},
pages = {10-13},
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)
},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=4497747&arnumber=4497754&count=27&index=6},
doi = {http://dx.doi.org/10.1109/MS.2008.64}
}
|
|||||
| Subramanyan, K., Diwekar, U. M. & Goyal, A. | Multi-objective optimization for hybrid fuel cells power system under uncertainty | 2004 | Journal of Power Sources | article | URL |
| 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. | |||||
BibTeX:
@article{Subramanyan2004,
author = {Karthik Subramanyan and Urmila M. Diwekar and Amit Goyal},
title = {Multi-objective optimization for hybrid fuel cells power system under uncertainty},
journal = {Journal of Power Sources},
year = {2004},
volume = {132},
number = {1-2},
pages = {99-112},
note = {TY - JOUR},
url = {http://www.sciencedirect.com/science/article/B6TH1-4BVRTVS-B/2/02dfe1bc0d9a8830b752054899b73bd4}
}
|
|||||
| Subramanyan, R. | Position Statement: How Well Technology Supports Software Evolution. [BibTeX] |
2008 | COMPSAC | inproceedings | URL |
BibTeX:
@inproceedings{conf/compsac/Subramanyan08,
author = {Rajesh Subramanyan},
title = {Position Statement: How Well Technology Supports Software Evolution.},
booktitle = {COMPSAC},
publisher = {IEEE Computer Society},
year = {2008},
pages = {3},
url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2008.html#Subramanyan08}
}
|
|||||
| Subramanyan, R. | Panel Description: Software Testing for Large Globally Distributed Projects. [BibTeX] |
2008 | COMPSAC | inproceedings | URL |
BibTeX:
@inproceedings{conf/compsac/Subramanyan08a,
author = {Rajesh Subramanyan},
title = {Panel Description: Software Testing for Large Globally Distributed Projects.},
booktitle = {COMPSAC},
publisher = {IEEE Computer Society},
year = {2008},
pages = {4},
url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2008.html#Subramanyan08a}
}
|
|||||
| Subramanyan, R. | Test Automation in Practice. [BibTeX] |
2007 | COMPSAC (1) | inproceedings | URL |
BibTeX:
@inproceedings{conf/compsac/Subramanyan07,
author = {Rajesh Subramanyan},
title = {Test Automation in Practice.},
booktitle = {COMPSAC (1)},
publisher = {IEEE Computer Society},
year = {2007},
pages = {19},
url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2007-1.html#Subramanyan07}
}
|
|||||
| Vieira, M., Leduc, J., Hasling, B., Subramanyan, R. & Kazmeier, J. | Automation of GUI testing using a model-driven approach | 2006 | AST '06: Proceedings of the 2006 international workshop on Automation of software test | inproceedings | DOIURL |
| 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). | |||||
BibTeX:
@inproceedings{Vieira2006,
author = {Marlon Vieira and Johanne Leduc and Bill Hasling and Rajesh Subramanyan and Juergen Kazmeier},
title = {Automation of GUI testing using a model-driven approach},
booktitle = {AST '06: Proceedings of the 2006 international workshop on Automation of software test},
publisher = {ACM},
year = {2006},
pages = {9--14},
url = {http://portal.acm.org/citation.cfm?id=1138932},
doi = {http://doi.acm.org/10.1145/1138929.1138932}
}
|
|||||
Created by JabRef export filters on 08/09/2008 by the social publication management platform BibSonomy