Author/Creator: Gargantini, Angelo - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Gargantini, Angelo

1. A systematic literature review of the use of formal methods in medical software systems. Issue 5 (27th February 2018)

Authors:: Bonfanti, Silvia; Gargantini, Angelo; Mashkoor, Atif
Other Names:: Mashkoor Atif guestEditor.; Biró Miklós guestEditor.; Messnarz Richard guestEditor.; Colomo‐Palacios Ricardo guestEditor.
Journal:: Journal of software
Issue:: Volume 30:Issue 5(2018)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Code‐aware combinatorial interaction testing. Issue 6 (1st December 2019)

Authors:: Ahmed, Bestoun S.; Gargantini, Angelo; Zamli, Kamal Z.; Yilmaz, Cemal; Bures, Miroslav; Szeles, Marek
Journal:: IET software
Issue:: Volume 13:Issue 6(2019)
Page Start:: 600
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Design and validation of a C++ code generator from Abstract State Machines specifications. Issue 2 (24th November 2019)

Authors:: Bonfanti, Silvia; Gargantini, Angelo; Mashkoor, Atif
Other Names:: Mashkoor Atif guestEditor.; Sametinger Johannes guestEditor.; Biro Miklós guestEditor.; Egyed Alexander guestEditor.
Journal:: Journal of software
Issue:: Volume 32:Issue 2(2020)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Fault‐based test generation for regular expressions by mutation. (8th March 2018)

Authors:: Arcaini, Paolo; Gargantini, Angelo; Riccobene, Elvinia
Other Names:: Just René guestEditor.; Krinke Jens guestEditor.; Li Nan guestEditor.; Rojas José Miguel guestEditor.
Journal:: Software testing, verification & reliability
Issue:: Volume 29:Number 1/2(2019)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. RATE: A model‐based testing approach that combines model refinement and test execution. (18th December 2022)

Authors:: Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo; Lei, Yu; Duan, Feng
Journal:: Software testing, verification & reliability
Issue:: Volume 33:Number 2(2023)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. The Mechanical Ventilator Milano. (2nd September 2021)

Authors:: Bonivento, Walter; Gargantini, Angelo; Krücken, Reiner; Razeto, Alessandro
Journal:: Nuclear physics news
Issue:: Volume 31:Number 3(2021)
Page Start:: 30
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. Using mutation to assess fault detection capability of model review. (25th April 2014)

Authors:: Arcaini, Paolo; Gargantini, Angelo; Riccobene, Elvinia
Other Names:: Jia Yue guestEditor.; Merayo Mercedes guestEditor.; Harman Mark guestEditor.
Journal:: Software testing, verification & reliability
Issue:: Volume 25:Number 5/7(2015)
Page Start:: 629
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗