Automated Fixing of Programs with Contracts

Yu Pei, Carlo A. Furia, Martín Nordio, +3

IEEE Transactions on Software Engineering

Agile vs. structured distributed software development: A case study

H.-Christian Estler, Martín Nordio, Carlo A. Furia, +2

Empirical Software Engineering

Software MaintenanceScrumSoftware DevelopmentEngineeringAgile Software Development +9

Code-based automated program fixing

Yu Pei, Wei Yi, Carlo A. Furia, +2

Agile vs. Structured Distributed Software Development: A Case Study

H.-Christian Estler, Martín Nordio, Carlo A. Furia, +2

Software MaintenanceEngineeringProject ManagementDistributed DevelopmentSoftware Engineering +17

Teaching software engineering using globally distributed projects

Martín Nordio, Carlo Ghezzi, Bertrand Meyer, +5

Stem EducationSouth AmericaSoftware Development PracticeSoftware DevelopmentSoftware Management +8

How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication

Martín Nordio, H.-Christian Estler, Bertrand Meyer, +3

Software MaintenanceSoftware Development PracticeEngineeringProject ManagementDistributed Development +20

AutoProof: auto-active functional verification of object-oriented programs

Carlo A. Furia, Martín Nordio, Nadia Polikarpova, +1

International Journal on Software Tools for Technology Transfer

Program CheckingEngineeringRuntime VerificationProgram AnalysisSoftware Testing +7

Awareness and Merge Conflicts in Distributed Software Development

H.-Christian Estler, Martín Nordio, Carlo A. Furia, +1

Software MaintenanceMerge ConflictsEngineeringProject ManagementRemote Team Members +19

Proof-transforming compilation of programs with abrupt termination

Péter Müller, Martín Nordio

Program CheckingEngineeringVerificationProof TransformationSoftware Analysis +16

Stateful testing: Finding more errors in code and contracts

Wei Yi, Hannes Roth, Carlo A. Furia, +5

Software MaintenanceEngineeringVerificationTest Data GenerationSoftware Engineering +16