Checking sequence generation using state distinguishing subsequences
Adenilso da Silva Simão A Petrenko; IEEE International Conference on Software Testing, Verification, and Validation Workshops (2. (2009 Denver, Colorado - USA)
Proceedings Washington : IEEE Computer Society, 2009Washington, DC IEEE Computer Science 2009
Acesso online. A biblioteca também possui exemplares impressos.
- 0
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
prod-1799577
prod-1797388
browse_callnumber
display.do?gathStatTab=true&dscnt=0&callNumberBrowseField=browse_callnumber&tabRealType=browseshelf&mode=Basic&vid=USP&rfnGrp=1&rfnGrp=show_only&tab=usp_producao&dstmp=1722440281191&rfnGrpCounter=1&fctV=%5B2006+TO+2014%5D&fctV=online_resources&callNumber=prod-1798829&fctN=facet_creationdate&fctN=facet_tlevel&vl(freeText0)=Computer%20Science&ct=display&fn=search&indx=7&recIdxs=0&elementId=0