Towards deriving test sequences by model checking
Adilson Luiz Bonifácio Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos Maldonado
Eletronic Notes in Theoretical Computer Science Amsterdam v. 195, p. 21-40, 2008Amsterdam 2008
Available at ICMC - Inst. Ciên. Mat. Computação (PROD-1672646 )(GetIt)
- 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-1673750
prod-1669401
browse_callnumber
display.do?gathStatTab=true&dscnt=0&callNumberBrowseField=browse_callnumber&tabRealType=browseshelf&mode=Basic&vid=USP&rfnGrp=1&tab=usp_producao&dstmp=1717226914840&rfnGrpCounter=1&fctV=Sim%C3%A3o%2C+A&callNumber=prod-1672646&fctN=facet_creator&vl(freeText0)=Computer%20Science&ct=display&fn=search&indx=10&recIdxs=0&elementId=0