BERTOLINO, ANTONIA
BERTOLINO, ANTONIA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?
2019 Bertolino, A; Inverardi, P
Hybrid is better: why and how test coverage and software reliability can benefit each other
2019 Bertolino, A; Miranda, B; Pietrantuono, R; Russo, S
A model driven approach to business process-based learning
2017 Subramanian V.; Bertolino A.
A toolchain for designing and testing access control policies
2014 Bertolino, A; Busch, M; Daoudagh, S; Lonetti, F; Marchetti, E
Validation of access control systems
2014 Bertolino, A; Le Traon, Y; Lonetti, F; Marchetti, E; Mouelhi, T
Governance policies for verification and validation of service choreographies
2013 Bertolino, A.; De Angelis, G.; Polini, A.
On-the-fly dependable mediation between heterogeneous networked systems
2013 Bertolino, A.; Calabro', A.; Di Giandomenico, F.; Nostro, N.; Inverardi, P.; Spalazzese, R.
An integrated development and runtime environment for the future Internet.
2012 Ben Hamida A.; Kon F.; Ansaldi Oliva G.; Moreira Dos Santos C. E.; Lorrè J.; Autili M.; De Angelis G.; Zarras A.; Georgantas N.; Issarny V.; Bertolino A.
Approaches to functional, structural and security SOA testing.
2012 Bartolini, C; Bertolino, A; Lonetti, F; Marchetti, E
Verification and analysis of autonomic systems for networked enterprises
2012 Bertolino, A; De Angelis, G; Di Giandomenico, F; Marchetti, E; Sabetta, A; Spoletini, P
Dependability and Performance Assessment of Dynamic CONNECTed Systems
2011 Bertolino, A.; Calabro', A.; Di Giandomenico, F.; Nostro, N.
Trends and Research Issues in SOA Validation
2011 Bertolino, A; De Angelis, G; Sabetta, A; Polini, A
The PLASTIC framework and tools for testing service-oriented applications
2009 Bertolino A.; De Angelis G.; Polini A.; Frantzen L.
Data Flow-based Validation of Web Services Compositions: Perspectives and Examples
2008 Bartolini C.; Bertolino A.; Marchetti E.; Parissis I.
Systematic generation of XML instances to test complex software applications
2007 Bertolino A.; Gao J.; Marchetti E.; Polini A.
Product line use cases: scenario-based specification and testing of requirements
2006 Bertolino, A; Fantechi, A; Gnesi, S; Lami, G
A brief essay on software testing
2005 Bertolino A.; Marchetti E.
A user oriented framework for component deployment testing
2004 Bertolino, A; Polini, A
KA description of software testing V.08
2000 Bertolino A.
KA description of software testing V.05
1999 Bertolino A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? | 1-gen-2019 | Bertolino, A; Inverardi, P | |
| Hybrid is better: why and how test coverage and software reliability can benefit each other | 1-gen-2019 | Bertolino, A; Miranda, B; Pietrantuono, R; Russo, S | |
| A model driven approach to business process-based learning | 1-gen-2017 | Subramanian V.; Bertolino A. | |
| A toolchain for designing and testing access control policies | 1-gen-2014 | Bertolino, A; Busch, M; Daoudagh, S; Lonetti, F; Marchetti, E | |
| Validation of access control systems | 1-gen-2014 | Bertolino, A; Le Traon, Y; Lonetti, F; Marchetti, E; Mouelhi, T | |
| Governance policies for verification and validation of service choreographies | 1-gen-2013 | Bertolino, A.; De Angelis, G.; Polini, A. | |
| On-the-fly dependable mediation between heterogeneous networked systems | 1-gen-2013 | Bertolino, A.; Calabro', A.; Di Giandomenico, F.; Nostro, N.; Inverardi, P.; Spalazzese, R. | |
| An integrated development and runtime environment for the future Internet. | 1-gen-2012 | Ben Hamida A.; Kon F.; Ansaldi Oliva G.; Moreira Dos Santos C. E.; Lorrè J.; Autili M.; De Angelis G.; Zarras A.; Georgantas N.; Issarny V.; Bertolino A. | |
| Approaches to functional, structural and security SOA testing. | 1-gen-2012 | Bartolini, C; Bertolino, A; Lonetti, F; Marchetti, E | |
| Verification and analysis of autonomic systems for networked enterprises | 1-gen-2012 | Bertolino, A; De Angelis, G; Di Giandomenico, F; Marchetti, E; Sabetta, A; Spoletini, P | |
| Dependability and Performance Assessment of Dynamic CONNECTed Systems | 1-gen-2011 | Bertolino, A.; Calabro', A.; Di Giandomenico, F.; Nostro, N. | |
| Trends and Research Issues in SOA Validation | 1-gen-2011 | Bertolino, A; De Angelis, G; Sabetta, A; Polini, A | |
| The PLASTIC framework and tools for testing service-oriented applications | 1-gen-2009 | Bertolino A.; De Angelis G.; Polini A.; Frantzen L. | |
| Data Flow-based Validation of Web Services Compositions: Perspectives and Examples | 1-gen-2008 | Bartolini C.; Bertolino A.; Marchetti E.; Parissis I. | |
| Systematic generation of XML instances to test complex software applications | 1-gen-2007 | Bertolino A.; Gao J.; Marchetti E.; Polini A. | |
| Product line use cases: scenario-based specification and testing of requirements | 1-gen-2006 | Bertolino, A; Fantechi, A; Gnesi, S; Lami, G | |
| A brief essay on software testing | 1-gen-2005 | Bertolino A.; Marchetti E. | |
| A user oriented framework for component deployment testing | 1-gen-2004 | Bertolino, A; Polini, A | |
| KA description of software testing V.08 | 1-gen-2000 | Bertolino A. | |
| KA description of software testing V.05 | 1-gen-1999 | Bertolino A. |