Lingzi Jin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1989–2009
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICSE | Automated Functional Testing of Search Engine. | Lingzi Jin |
| 2000 | COMPSAC | Automating Scenario-Driven Structured Requirements Engineering. | Hong Zhu, Lingzi Jin |
| 1997 | ICFEM | Automatic Generation of Formal Specification from Requirements Definition. | Lingzi Jin, Hong Zhu |
| 1989 | EPIA | A Knowledge-Based System to Synthesize FP Programs from Examples. | Hong Zhu, Lingzi Jin |
| 1989 | ICTAI | A metalanguage to express human guidance for program transformation. | Lingzi Jin, Hong Zhu |