Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Patrícia D. L.
Last name:	Machado
DBLP:	33/5476
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 23  

Select a publication
Show	Title	Venue	Rating	Date
	Wilkerson de L. Andrade, Patrícia D. L. Machado. Interruption Testing of Reactive Systems.	Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers 2009	(0)	2009
	Patrícia D. L. Machado. Preface.	Electr. Notes Theor. Comput. Sci. 2009, Volume 240	(0)	2009
	Wilkerson de L. Andrade, Patrícia D. L. Machado, Everton L. G. Alves, Diego R. Almeida. Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS.	Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers 2009	(0)	2009
	Antonia Bertolino, Emanuela G. Cartaxo, Patrícia D. L. Machado, Eda Marchetti. Weighting Influence of User Behavior in Software Validation.	19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 1-5 September 2008, Turin, Italy 2008	(0)	2008
	Emanuela G. Cartaxo, Wilkerson de L. Andrade, Francisco G. Oliveira Neto, Patrícia D. L. Machado. LTS-BT: a tool to generate and select functional test cases for embedded systems.	Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008 2008	(0)	2008
	Emanuela G. Cartaxo, Francisco G. Oliveira Neto, Patrícia D. L. Machado. Automated Test Case Selection Based on a Similarity Function.	INFORMATIK 2007: Informatik trifft Logistik. Band 2. Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 24.-27. September 2007 in Bremen 2007	(0)	2007
	Patrícia D. L. Machado, Wilkerson de L. Andrade. The Oracle Problem for Testing against Quantified Properties.	Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA 2007	(0)	2007
	Laisa H. O. do Nascimento, Patrícia D. L. Machado. An experimental evaluation of approaches to feature testing in the mobile phone applications domain.	Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007 2007	(0)	2007
	Emanuela G. Cartaxo, Francisco G. Oliveira Neto, Patrícia D. L. Machado. Test case generation by means of UML sequence diagrams and labeled transition systems.	Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007 2007	(0)	2007
	Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Emerson F. A. Lima, Ana E. V. Barbosa, Helton S. Lima. Component-based integration testing from UML interaction diagrams.	Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007 2007	(0)	2007

Your query returned 23 matches in the database.