A5059382995- Advanced Software Engineering Methodologies
- Software Engineering Research
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Software System Performance and Reliability
- Service-Oriented Architecture and Web Services
- Software Engineering Techniques and Practices
- Model-Driven Software Engineering Techniques
- Software Engineering and Design Patterns
- Safety Systems Engineering in Autonomy
- Advanced Database Systems and Queries
- Formal Methods in Verification
- Information Science and Libraries
- Business Process Modeling and Analysis
- Multimedia Communication and Technology
- Education and Digital Technologies
- Business and Management Studies
- Web Applications and Data Management
- Usability and User Interface Design
- Autonomous Vehicle Technology and Safety
- Assembly Line Balancing Optimization
- Data Mining Algorithms and Applications
- Digital Accessibility for Disabilities
- Advanced Manufacturing and Logistics Optimization
- Metallurgy and Material Forming
Universidade de São Paulo
2011-2023
Universidade Federal de São Carlos
1999-2023
Universidade Federal da Bahia
2019
Institute of Mathematics and Computer Science
2013-2015
Brazilian Society of Computational and Applied Mathematics
2001-2012
Software (Spain)
1993-2007
Sociedade Brasileira de Educação Matemática
1993-2007
Consejo Superior de Investigaciones Científicas
2006
Institute of Mathematical Sciences
1997-2004
Universidad San Pedro
1991-1998
Proposes the application of mutation analysis criterion in context specifications based on finite state machines. The main concepts machines and are briefly introduced. An experiment is reported which manually applies to a machine modeling Class 0 ISO transport protocol specification, using two test-sequence generator criteria-the W method TT (transition tours) method. results obtained presented, evidences given that use effective this context. Finally, lines evolution work presented paper...
The establishment of a low-cost, effective testing and validation strategy has been pursued by many researchers at the program level as well specification level. application mutation for validating specifications based on statecharts is proposed. A operator set statecharts, one crucial points effectively applying defined; in this scope these operators can be taken fault model. We also provide strategies to abstract statechart components according different features that may comprise activity...
We present CodeGenie, a tool that implements test-driven approachto search and reuse of code available on large-scale coderepositories. While using CodeGenie developers design test cases fora desired feature first, similar to Test-driven Development (TDD).However, instead implementing the as in TDD, CodeGenieautomatically searches for it based information thetests. To check suitability candidate results thelocal context, each result is automatically woven into thedeveloper's project tested...
This paper presents a formal definition for HMBS (Hypermedia Model Based on Statecharts). uses the structure and execution semantics of statecharts to specify both structural organization browsing hypermedia applications. Statecharts are an extension finite-state machines model is thus generalization hypergraph-based hypertext models. Some most important features its ability hierarchy synchronization information; provision mechanisms specifying access structures, navigational contexts,...
This paper presents the results of an exploratory study on fault-proneness aspect-oriented programs. We analysed faults collected from three evolving systems, all different application domains. The analysis develops two angles. Firstly, we measured impact obliviousness property evaluated systems. show that 40% reported were due to lack awareness among base code and aspects. second regarded main programming (AOP) mechanisms, namely pointcuts, advices intertype declarations. indicate these...
Software developers spend considerable effort implementing auxiliary functionality used by the main features of a system (e.g., compressing/decompressing files, encryption/decription data, scaling/rotating images). With increasing amount open source code available on Internet, time and can be saved reusing these utilities through informal practices search reuse. However, when this type reuse is performed in an ad hoc manner, it tedious error-prone: results have to manually inspected...
Pointcut Descriptors (PCDs) are used to specify sets of program join points with a common property where additional behavior should be applied. If PCDs wrongly formulated, faults injected into the program, because will applied unintended or fail intended points. In this paper we classify types that can occur in -- terms selected and present two-step strategy to: 1) help tester identifying extra by PCDs; 2) neglected first place. We focus on step but provide motivating examples directions for both.
Software developers spend considerable effort implementing auxiliary functionality used by the main features of a system (e.g. compressing/decompressing files, encryption/decription data, scaling/rotating images). With increasing amount open source code available on Internet, time and can be saved reusing these utilities through informal practices search reuse. However, when this type reuse is performed in an ad hoc manner, it tedious error-prone: results have to manually inspected extracted...
The architecture of a software product line is one its most important artifacts as it represents an abstraction the products that can be generated. It cru- cial to evaluate quality attributes in order to: increase productivity process and products; provide means understand potential behavior and, consequently, decrease their time market; improve handling variability. evaluation serve basis analyze managerial economical values for managers architects. Most current research on does not take...
Testing Service Oriented Architecture applications is a challenging task due to the high dynamism, low coupling and testability of services. Web services, popular implementation are usually provided as black box using testing techniques based on limited. This paper presents an approach support use structural technique web service testing. The improves by developing services with built-in capabilities. Testers can run test cases against such obtain coverage analysis criteria. A set metadata...
Introduces hypercharts, a novel and effective notation that extends the well-known statechart formalism to make it suitable for specification of temporal information synchronization requirements hypermedia applications. Three new definitions are added: timed history, transitions, set mechanisms. The proposed extensions based on major characteristics some Petri net-based multimedia models, have their semantics described in terms conventional models. Therefore, any hyperchart construction can...

 This paper presents ProLiCES, an approach for the development of safety-critical em- bedded applications and its usage to develop a product line unmanned aerial vehicles (UAV). The motivation ProLiCES emerged after Tiriba, fam- ily small, electric-powered aircraft. Most software artifacts produced Tiriba required modifications be reused in more complex project, SARVANT, which has accommodate several new features that increase variability end products. In methodological approach, named...
The Web is currently the main way of providing computing services, reaching a larger number users with different characteristics. As complexity and interactivity systems increased, become more demanding towards all requirements associated to their distinct needs. Implementing interaction in has focus accessibility usability studies, describing essential design features which provide quality, assured systems. on reinforced that as grows system became available wide variety users, even...
Software product lines (SPL) have been successfully used in the development of automotive and avionics critical embedded systems. Hazards their causes may change according to selection variants a particular SPL product. Thereby, lower-level assets like fault trees FMEA (Failure Modes Effects Analysis) cannot be reused because they are dependent upon variants. In this paper, model-based safety analysis techniques variability management tools together reduce effort by: reusing hazard analysis,...
A software product line to support urban transport systems is briefly described and the design of two its features discussed. Different solutions based on components are shown for these their variabilities. In particular, an analysis made how influenced by development process adopted, decision use black-box (off-the-shelf) or white-box that may be created adapted depending application requirements, automating not composition process. Additionally, alternatives deciding define iterative...
Web services are an emerging Service-Oriented Architecture technology to integrate applications using open standards based on XML. Software Engineering tools integration is a promising area since companies adopt different software processes and need each activity. engineers could take advantage of engineering available as web create their own workflow for integrating the required tools. In this paper, we propose development testing designed discuss pros cons idea. We developed service...
In previous work we proposed testable services as a solution to provide third-party testers with structural coverage information after test session, yet without revealing their internal details. However, service testers, e.g., integrators that use into compositions, do not have enough improve set when they get low measure because know which requirements been covered. This paper proposes an approach in are provided along metadata will help higher coverage. We show the on case study of real...