page_view

New Article: "Enablednessbased Testing of Object Protocols"

A new article has been accepted:

"Enablednessbased Testing of Object Protocols." by   J. Godoy; J. P. Galeotti; D. Garbervetsky; S. Uchitel. Accepted at  ACM Transactions on Software Engineering and Methodology (TOSEM), 2020. 

Undefined

New Article: "On Resolving Nondeterminism in Choreographies"

A new article has been accepted:

"On Resolving Nondeterminism in Choreographies" by Laura Bocchi, Hernán Melgratti, Emilio Tuosto. Accepted at Logical Methods in Computer Science.

Undefined

New article: "Unified DEVS-based platform for Modeling and Simulation of Hybrid Control Systems”

A new article has been accepted:

"Unified DEVS-based platform for Modeling and Simulation of Hybrid Control Systems” by E. Pecker-Marcosig, S. Zudaire, M. Garrett, S. Uchitel, R. Castro. Accepted at  Winter Simulation Conference (WSC2020), December 2020, USA.

 

Undefined

New Article: "Iterator-Based Temporal Logic Task Planning"

A new article has been published:

Sebastian Zudaire, Martin Garret, Sebastian Uchitel. "Iterator-Based Temporal Logic Task Planning"International Conference on Robotics and Automation (ICRA 2020) , (2020).

Undefined

New Article: "Testability Transformations For Existing APIs"

A new article has been published:

ANDREA ARCURI, JUAN PABLO GALEOTTI. "Testability Transformations For Existing APIs" IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020 , (2020).  [link]

Undefined

New Article: "Handling SQL Databases in Automated System Test Generation"

A new article has been published:

ANDREA ARCURI, JUAN PABLO GALEOTTI. "Handling SQL Databases in Automated System Test Generation" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , (2020).  [link]

Undefined

New Article: "A Choreography-Driven Approach to APIs"

Leonardo Frittelli, Facundo Maldonado, Hernán Melgratti and Emilio Tuosto. A Choreography-Driven Approach to APIs: the OpenDXL Case Study. Coordination 2020
Undefined

Pages