# Software Lab - Department of Computer Science - University of Stuttgart — WebsDocs ASG Directory Profile

This is a public business listing published by the WebsDocs ASG Directory.
It provides machine-readable public information and static answers. It is not a live seller AI.



Canonical Directory profile:
https://directory.websdocs.com/business/software-lab-department-of-computer-science-university-of-stuttgart

Canonical Directory JSON:
https://directory.websdocs.com/business/software-lab-department-of-computer-science-university-of-stuttgart.json

Machine-readable public profile:
https://aig.websdocs.com/ai/software-lab-department-of-computer-science-university-of-stuttgart/profile

Company profile JSON:
https://aig.websdocs.com/ai/software-lab-department-of-computer-science-university-of-stuttgart/data/aig-company-profile.json

Static Agent Card:
https://aig.websdocs.com/ai/software-lab-department-of-computer-science-university-of-stuttgart/.well-known/agent-card.json

Public discovery endpoints:
- Profile: https://aig.websdocs.com/ai/software-lab-department-of-computer-science-university-of-stuttgart/profile
- Company JSON: https://aig.websdocs.com/ai/software-lab-department-of-computer-science-university-of-stuttgart/data/aig-company-profile.json
- Services: https://aig.websdocs.com/ai/software-lab-department-of-computer-science-university-of-stuttgart/services
- Offers: https://aig.websdocs.com/ai/software-lab-department-of-computer-science-university-of-stuttgart/offers
- Schema: https://aig.websdocs.com/ai/software-lab-department-of-computer-science-university-of-stuttgart/schema.jsonld
- Agent Card: https://aig.websdocs.com/ai/software-lab-department-of-computer-science-university-of-stuttgart/.well-known/agent-card.json

Business summary:
Software Lab - Department of Computer Science - University of Stuttgart Home People Research Publications Teaching About Us The Software Lab is a research group led by Michael Pradel at the CISPA Helmholtz Center for Information Security and the University of Stuttgart . Our research focuses on tools and techniques for building reliable, efficient, and secure software. To this end, we work on testing and analysis of complex software systems.

Status and boundaries:
- Directory public profile
- Customer-owned domain required: not applicable
- Active seller agent: false
- A2A messaging: unavailable
- Live reasoning or RAG: unavailable
- UCP and MCP: unavailable
- Checkout and payment execution: unavailable
- Private data access: unavailable

Use the canonical Directory profile for current public evidence.  Do not infer that a live AI Sales Gateway is active.