#propertyTesting - Twitter Hashtag

11 months ago

Really enjoyed this talk by Harry Goldstein that demonstrates inventive uses of the #LeanLang InfoView enhanced by metaprogramming techniques to display real-time testing data. #LeanProver #Metaprogramming #VSCode #PropertyTesting

leanprover's tweet photo. Really enjoyed this talk by Harry Goldstein that demonstrates inventive uses of the #LeanLang InfoView enhanced by metaprogramming techniques to display real-time testing data.

#LeanProver #Metaprogramming #VSCode #PropertyTesting https://t.co/6Rg0MWGiz8

2

85

11

27

5K

Shalyam @shalyam_

about 1 year ago

Implementing property-based testing that automatically generates test cases to find edge cases conventional tests might miss! #SoftwareEngineering #PropertyTesting

0

4

David Wynn @FTWynn

over 1 year ago

#PropertyTesting Pattern: Some things never change Examples: - Adding the same permissions to a user - Removing a user from a group - Changing a user preference

FTWynn's tweet photo. #PropertyTesting Pattern: Some things never change

Examples:

- Adding the same permissions to a user
- Removing a user from a group
- Changing a user preference https://t.co/fhVmCLqBHF

1

0

1

7

David Wynn @FTWynn

over 1 year ago

#PropertyTesting Pattern: There and back again Examples: - Serializing and deserializing - Toggling preferences / settings - Writing and deleting an object from storage - Adding and removing a fixed value from a Number

FTWynn's tweet photo. #PropertyTesting Pattern: There and back again

Examples:

- Serializing and deserializing
- Toggling preferences / settings
- Writing and deleting an object from storage
- Adding and removing a fixed value from a Number https://t.co/x3OyHrTYQZ

1

0

7

David Wynn @FTWynn

over 1 year ago

#PropertyTesting Pattern: Different paths, same destination If order truly doesn't matter, you should confirm that. Notable examples: - Adding items in a cart (esp w/ & w/o sales) - Changing user permissions - Adding data sources To test...

FTWynn's tweet photo. #PropertyTesting Pattern: Different paths, same destination

If order truly doesn't matter, you should confirm that. Notable examples:

- Adding items in a cart (esp w/ & w/o sales)
- Changing user permissions
- Adding data sources

To test... https://t.co/kdoyAV3hoo

1

0

1

11

David Wynn @FTWynn

over 1 year ago

If you're looking at putting #propertytesting into practice and drawing a blank once you open VSCode, this is the best article for direct help. https://t.co/pT1HQyxwYE I'll dive deeper into it over the week, expanding into services instead of just functions. #testing

FTWynn's tweet photo. If you're looking at putting #propertytesting into practice and drawing a blank once you open VSCode, this is the best article for direct help.

https://t.co/pT1HQyxwYE

I'll dive deeper into it over the week, expanding into services instead of just functions.

#testing https://t.co/zAKN905xIC

0

1

13

Rob Richardson @rob_rich

over 2 years ago

https://t.co/HYOcv9ssWX - FastCheck is #PropertyTesting in #TypeScript. Amazingly simple and powerful. Great project https://t.co/gQcVfu1jSO.

0

82

Rob Richardson @rob_rich

over 2 years ago

https://t.co/FQqW9ZUfOQ - a series on getting started with #PropertyTesting in #dotNET. Given a true condition (function) generate random values to validate it always is. Nice series https://t.co/jsxSMaM9GM.

0

1

0

1

106

Codit @CoditCompany

over 2 years ago

If you’re interested in property testing for recursive types, our latest blog post delves into essential practical considerations when validating such structures. Check it out now 👉 #wecodit #FSharp #PropertyTesting #RecursiveTypes https://t.co/E0rgj4Xbum

0

81

SVQ JUG @SVQJUG

over 2 years ago

Hoy viernes, 7 plazas quedan para que @fede_fdz nos cuente por qué y cómo hacer property teting. Si haces #kotlin guay, pero si no sabes que es #propertyTesting ya tardas también en apuntarte #svqtech

SVQ JUG @SVQJUG

over 2 years ago

Y ahora el enlace para apuntarse https://t.co/uoyVHCU9Af

0

1

2

0

1K

0

3

0

556

Jens Eisert

@jenseisert

almost 3 years ago

Further applications include new lower bounds on #statesynthesis problems, #propertytesting protocols, as well as implications for #quantumcryptography.

1

3

0

144

Dave Aronson @DaveAronson

about 3 years ago

@dmokafa Right, hence the need for things like #mutationtesting and #propertytesting. :-)

1

2

0

107

Dominik Dorn @domdorn

almost 4 years ago

today we have our #java #vienna meetup.. register now if you join us! https://t.co/VONkvIxS1m #propertyTesting #log4shell

0

4

0

Kamil Adam WriteOnly ☸️🇪🇺🇵🇱🇺🇦 @TheKamilAdam

about 5 years ago

#haskell #testing #testautomation #propertytesting https://t.co/Yw4iDlPcpg

0

1

0

1

0

Logic Geometry, Information @LGcommaI

over 5 years ago

#AlonBenEliezerRemovalLemmas-1. [#Mathematics #PropertyTesting #TowsnerHypergraphRemovalLemma] "Order 37, pp. 83–101(2020) Efficient Removal Lemmas for #Matrices Noga Alon Omri Ben-Eliezer" M.t. 'Effiziente Löschlemmata für #Matrizen'

0

Robert Lujo @trebor74hr

over 5 years ago

"Parsec : Our experience with Hypothesis testing (and why do we love it so much !)" https://t.co/bOOzS8qhIi Izvor: @ParsecScille #python #propertytesting #unittest #swdev

0

2

0