Abstract | ||
---|---|---|
Temporal specifications can describe the legal call sequences of API libraries. With these specifications, verification tools can find defects in existing clients automatically. However, temporal specifications are often not provided due to the high ... |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/APSEC.2008.41 | APSEC |
Keywords | Field | DocType |
legal call sequence,software quality,api library,verification tool,work a field study,software architecture,temporal specification,reliability,computer architecture,body of knowledge,business,field study | Software engineering,Systems engineering,Computer science,Software architecture description,Software quality control,Software architecture,Reference architecture,Software quality,Software construction,Architectural pattern,Software development | Conference |
ISSN | Citations | PageRank |
1530-1362 | 5 | 0.48 |
References | Authors | |
4 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kari Rye Schougaard | 1 | 22 | 2.08 |
Klaus Marius Hansen | 2 | 585 | 54.14 |
Henrik Bærbak Christensen | 3 | 346 | 37.74 |