Rahul Gopinath | #softwaretesting

This action will delete this post on this instance and on all federated instances, and it cannot be undone. Are you certain you want to delete this post?

No

Yes

This action will block this actor and hide all of their past and future posts. Are you certain you want to block this actor?

No

Yes

This action will block this object. Are you certain you want to block this object?

No

Yes

Are you sure you want to delete the OAuth client [Client Name]? This action cannot be undone and will revoke all access tokens for this client.

No

Yes

Are you sure you want to revoke the OAuth token [Token ID]? This action cannot be undone and will immediately revoke access for this token.

No

Yes

You are currently offline.

#softwaretesting 2 hashtags

Rahul Gopinath shared a note by Andreas Zeller May 29, 2024

I am co-founding a new startup! #InputLab creates test data for thousands of formats from electronic invoices to retail orders, covering all input features. We just passed the initial evaluation toward up to 800k€ public funding to start as a #CISPA spin-off in September.

We are #hiring – notably test experts – and we are looking out for #collaboration partners and early #adopters from industry and public service. Check us out at https://inputlab.net! #startup #XML #softwaretesting

Rahul Gopinath posted Nov 20, 2022

/@seresearchers #seresearchers #ComputerScience #softwaretesting #typetheory

For the type theory folks out there, when contrasting between writing unit tests and providing type annotations, is there some thing in type annotations and type checking that correspond to coverage? and more specifically coverage adequacy?