activity
20052025
most citedGemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities

49 citations · 58 across the 6 of their papers we have counts for

collaborators
Showing 2013Show all

1 paper · 1 filter

cs.FL2013

On the Structure and Complexity of Rational Sets of Regular Languages

Andreas Holzer, Christian Schallhart, Michael Tautschnig +1

In a recent thread of papers, we have introduced FQL, a precise specification language for test coverage, and developed the test case generation engine FShell for ANSI C. In essenc…